%0 Conference Paper %1 conf/atva/KomarkovaK14 %A Komárková, Zuzana %A Kretínský, Jan %B ATVA %D 2014 %E Cassez, Franck %E Raskin, Jean-François %I Springer %K dblp %P 235-241 %T Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata. %U http://dblp.uni-trier.de/db/conf/atva/atva2014.html#KomarkovaK14 %V 8837 %@ 978-3-319-11935-9

@inproceedings{conf/atva/KomarkovaK14, added-at = {2017-05-21T00:00:00.000+0200}, author = {Komárková, Zuzana and Kretínský, Jan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22e7c9173a5685fc551972f43670d3b74/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2014}, editor = {Cassez, Franck and Raskin, Jean-François}, ee = {https://doi.org/10.1007/978-3-319-11936-6_17}, interhash = {234a7470e2bc6200846b3d1b122c9fb9}, intrahash = {2e7c9173a5685fc551972f43670d3b74}, isbn = {978-3-319-11935-9}, keywords = {dblp}, pages = {235-241}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:12:18.000+0200}, title = {Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2014.html#KomarkovaK14}, volume = 8837, year = 2014 }