by Matthias Schlaipfer, Georg Hofferek, Roderick Bloem
Reference:
Generalized Reactivity(1) Synthesis without a Monolithic StrategyMatthias Schlaipfer, Georg Hofferek, Roderick BloemHardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pages 20–34, 2011.
Bibtex Entry:
@inproceedings{DBLP:conf/hvc/SchlaipferHB11,
author = {Matthias Schlaipfer and
Georg Hofferek and
Roderick Bloem},
title = {Generalized Reactivity(1) Synthesis without a Monolithic Strategy},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
pages = {20--34},
year = {2011},
crossref = {DBLP:conf/hvc/2011},
url = {http://dx.doi.org/10.1007/978-3-642-34188-5_6},
doi = {10.1007/978-3-642-34188-5_6},
timestamp = {Sun, 28 Oct 2012 17:34:50 +0100},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/hvc/SchlaipferHB11},
bibsource = {dblp computer science bibliography, http://dblp.org}
}