-
Selection by year
-
Selection by authors
-
Complete lists
BPRS-synt14
Romain Brenguier, Guillermo A. Pérez, Jean-Fran\ccois Raskin, Ocan Sankur. AbsSynthe: abstract synthesis from succinct safety specifications. In Proceedings 3rd Workshop on, Krishnendu Chatterjee, Rüdiger Ehlers, Susmit Jha (eds.), 2014.
Contact
Ocan Sankur http://people.irisa.fr/Ocan.Sankur/
BibTex Reference
@InProceedings{BPRS-synt14,
Author = {Brenguier, Romain and Pérez, Guillermo A. and Raskin, Jean-Fran\ccois and Sankur, Ocan},
Title = {AbsSynthe: abstract synthesis from succinct safety specifications},
BookTitle = {Proceedings 3rd Workshop on},
editor = {Chatterjee, Krishnendu and Ehlers, Rüdiger and Jha, Susmit},
Year = {2014}
}
EndNote Reference [help]
Get EndNote Reference (.ref)