-
Selection by year
-
Selection by authors
-
Complete lists
RacletBBCLP09
Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone. Modal interfaces: unifying interface automata and modal specifications. In ACM International conference on Embedded software, EMSOFT, Pages 87-96, 2009.
Contact
Eric Badouel http://people.rennes.inria.fr/Eric.Badouel/index.html
BibTex Reference
@InProceedings{RacletBBCLP09,
Author = {Raclet, Jean-Baptiste and Badouel, Eric and Benveniste, Albert and Caillaud, Benoît and Legay, Axel and Passerone, Roberto},
Title = {Modal interfaces: unifying interface automata and modal specifications},
BookTitle = {ACM International conference on Embedded software, EMSOFT},
Pages = {87--96},
Year = {2009}
}
EndNote Reference [help]
Get EndNote Reference (.ref)