Jump to : Contact | BibTex reference | EndNote reference |

BPRS-synt14

Romain Brenguier, Guillermo A. Pérez, Jean-François 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çois 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)