Synthesis from incompatible specifications (bibtex)
by Pavol Cerný, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla
Reference:
Synthesis from incompatible specificationsPavol Cerný, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant TotlaEMSOFT, pages 53-62, 2012.
Bibtex Entry:
@inproceedings{EMSOFT-synth,
title = {Synthesis from incompatible specifications},
ee = {http://doi.acm.org/10.1145/2380356.2380371},
booktitle = {EMSOFT},
author = {Pavol Cern{\'y} and Sivakanth Gopi and Thomas A. Henzinger and Arjun
Radhakrishna and Nishant Totla},
url = {/pubpdf/Synthesis_from_incompatible_specifications.pdf},
year = {2012},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {53-62},
crossref = {DBLP:conf/emsoft/2012},
}
Powered by bibtexbrowser