Jump to : Contact | BibTex reference | EndNote reference |

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

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)