%0 Conference Paper %1 conf/cav/FinkbeinerK16 %A Finkbeiner, Bernd %A Klein, Felix %B CAV (1) %D 2016 %E Chaudhuri, Swarat %E Farzan, Azadeh %I Springer %K dblp %P 118-135 %T Bounded Cycle Synthesis. %U http://dblp.uni-trier.de/db/conf/cav/cav2016-1.html#FinkbeinerK16 %V 9779 %@ 978-3-319-41527-7

@inproceedings{conf/cav/FinkbeinerK16, added-at = {2017-05-25T00:00:00.000+0200}, author = {Finkbeiner, Bernd and Klein, Felix}, biburl = {https://www.bibsonomy.org/bibtex/24a061dd2d5d6169bcc542cff8e8f3bbb/dblp}, booktitle = {CAV (1)}, crossref = {conf/cav/2016-1}, editor = {Chaudhuri, Swarat and Farzan, Azadeh}, ee = {https://doi.org/10.1007/978-3-319-41528-4_7}, interhash = {128e3806e4bd47b10debae2de941cd73}, intrahash = {4a061dd2d5d6169bcc542cff8e8f3bbb}, isbn = {978-3-319-41527-7}, keywords = {dblp}, pages = {118-135}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:39:28.000+0200}, title = {Bounded Cycle Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2016-1.html#FinkbeinerK16}, volume = 9779, year = 2016 }