RBBCLP-emsoft09

J.-B. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay, R. Passerone. Modal Interfaces: Unifying Interface Automata and Modal Specifications. In Proc. of 9th International Conference on Embedded Software (EMSOFT'09), 2009.

Note on this paper

to appear

BibTex Reference

@InProceedings{RBBCLP-emsoft09,
   Author = {Raclet, J.-B. and Badouel, E. and Benveniste, A. and Caillaud, B. and Legay, A. and Passerone, R.},
   Title = {Modal Interfaces: Unifying Interface Automata and Modal Specifications},
   BookTitle = {Proc. of 9th International Conference on Embedded Software (EMSOFT'09)},
   Publisher = {ACM},
   Year = {2009}
}

EndNote Reference [help]

Get EndNote Reference (.ref)