@inproceedings{DBLP:conf/vmcai/PitermanPS06,
author = {Nir Piterman and
Amir Pnueli and
Yaniv Sa'ar},
title = {Synthesis of Reactive(1) Designs},
booktitle = {VMCAI},
year = {2006},
pages = {364-380},
ee = {http://dx.doi.org/10.1007/11609773_24},
crossref = {DBLP:conf/vmcai/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/vmcai/2006,
editor = {E. Allen Emerson and
Kedar S. Namjoshi},
title = {Verification, Model Checking, and Abstract Interpretation,
7th International Conference, VMCAI 2006, Charleston, SC,
USA, January 8-10, 2006, Proceedings},
booktitle = {VMCAI},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3855},
year = {2006},
isbn = {3-540-31139-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
