-
Selection by year
-
Selection by authors
-
Complete lists
Benveniste2012b
A. Benveniste, B. Caillaud, JB. Raclet. Application of Interface Theories to the Separate Compilation of Synchronous Programs. In Proc. of the 51st IEEE Conference on Decision and Control (CDC'12), Hawaii, December 2012.
BibTex Reference
@InProceedings{Benveniste2012b,
Author = {Benveniste, A. and Caillaud, B. and Raclet, JB.},
Title = {Application of Interface Theories to the Separate Compilation of Synchronous Programs},
BookTitle = {Proc. of the 51st IEEE Conference on Decision and Control (CDC'12)},
Publisher = {IEEE},
Address = {Hawaii},
Month = {December},
Year = {2012}
}
EndNote Reference [help]
Get EndNote Reference (.ref)