Jump to : Contact | BibTex reference | EndNote reference |

RacletBBCP09

Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone. Why Are Modalities Good for Interface Theories?. In Conference on Application of Concurrency to System Design, ACSD, Pages 119-127, 2009.

Contact

Eric Badouel

BibTex Reference

@InProceedings{RacletBBCP09,
   Author = {Raclet, Jean-Baptiste and Badouel, Eric and Benveniste, Albert and Caillaud, Benoît and Passerone, Roberto},
   Title = {Why Are Modalities Good for Interface Theories?},
   BookTitle = {Conference on Application of Concurrency to System Design, ACSD},
   Pages = {119--127},
   Year = {2009}
}

EndNote Reference [help]

Get EndNote Reference (.ref)