Generalized Reactivity(1) Synthesis without a Monolithic Strategy (bibtex)
by Matthias Schlaipfer, Georg Hofferek, Roderick Paul Bloem
Reference:
Generalized Reactivity(1) Synthesis without a Monolithic StrategyMatthias Schlaipfer, Georg Hofferek, Roderick Paul BloemHardware and Software: Verification and Testing. 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers (João Lourenço Kerstin Eder, Onn Shehory, eds.), volume 7261 of Lecture Notes in Computer Science, pages 20 - 34, 2012, Springer.
Bibtex Entry:
@inproceedings{SHB12,
publisher = {Springer},
title = {Generalized Reactivity(1) Synthesis without a Monolithic Strategy},
url = {/pubpdf/Generalized_Reactivity(1)_Synthesis_without_a_Monolithic_Strategy.pdf},
series = {Lecture Notes in Computer Science},
booktitle = {Hardware and Software: Verification and Testing. 7th International
Haifa Verification Conference, HVC 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
author = {Matthias Schlaipfer and Georg Hofferek and Roderick Paul Bloem},
volume = {7261},
editor = {Kerstin Eder, Jo\~{a}o Louren\c{c}o and Onn Shehory},
year = {2012},
pages = {20 - 34},
}
Powered by bibtexbrowser