Parameterized Synthesis (bibtex)
by Swen Jacobs, Roderick Bloem
Reference:
Parameterized SynthesisSwen Jacobs, Roderick BloemTACAS, pages 362-376, 2012.
Bibtex Entry:
@inproceedings{Jacobs12,
title = {Parameterized Synthesis},
ee = {http://dx.doi.org/10.1007/978-3-642-28756-5_25},
booktitle = {TACAS},
author = {Swen Jacobs and Roderick Bloem},
url = {/pubpdf/Parameterized_Synthesis.pdf},
year = {2012},
pages = {362-376},
crossref = {DBLP:conf/tacas/2012},
}
Powered by bibtexbrowser