|
||
---|---|---|
hal-01298793v1
Journal articles
Towards a verified compiler prototype for the synchronous language SIGNAL Frontiers of Computer Science, Springer Verlag, 2016, vol. 10 (n° 1), pp. 37-53. ⟨10.1007/s11704-015-4364-y⟩ |
||
hal-02106219v1
Journal articles
Formation mechanism of peapod-derived double-walled carbon nanotubes Physical Review B: Condensed Matter and Materials Physics (1998-2015), American Physical Society, 2010, 82 (4), pp.041403. ⟨10.1103/PhysRevB.82.041403⟩ |
||
|