%0 Conference Paper %1 conf/tacas/BabiakKRS12 %A Babiak, Tomás %A Kretínský, Mojmír %A Rehák, Vojtech %A Strejcek, Jan %B TACAS %D 2012 %E Flanagan, Cormac %E König, Barbara %I Springer %K dblp %P 95-109 %T LTL to Büchi Automata Translation: Fast and More Deterministic. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2012.html#BabiakKRS12 %V 7214 %@ 978-3-642-28755-8

@inproceedings{conf/tacas/BabiakKRS12, added-at = {2018-06-26T00:00:00.000+0200}, author = {Babiak, Tomás and Kretínský, Mojmír and Rehák, Vojtech and Strejcek, Jan}, biburl = {https://www.bibsonomy.org/bibtex/2ad06150420162d820b7c5ad1f85666dd/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2012}, editor = {Flanagan, Cormac and König, Barbara}, ee = {https://doi.org/10.1007/978-3-642-28756-5_8}, interhash = {860675851f7e530cb969648faa897565}, intrahash = {ad06150420162d820b7c5ad1f85666dd}, isbn = {978-3-642-28755-8}, keywords = {dblp}, pages = {95-109}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:36:16.000+0200}, title = {LTL to Büchi Automata Translation: Fast and More Deterministic.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2012.html#BabiakKRS12}, volume = 7214, year = 2012 }