%0 Conference Paper %1 conf/cav/KretinskyMSZ18 %A Kretínský, Jan %A Meggendorfer, Tobias %A Sickert, Salomon %A Ziegler, Christopher %B CAV (1) %D 2018 %E Chockler, Hana %E Weissenbacher, Georg %I Springer %K dblp %P 567-577 %T Rabinizer 4: From LTL to Your Favourite Deterministic Automaton. %U http://dblp.uni-trier.de/db/conf/cav/cav2018-1.html#KretinskyMSZ18 %V 10981 %@ 978-3-319-96145-3

@inproceedings{conf/cav/KretinskyMSZ18, added-at = {2018-10-03T00:00:00.000+0200}, author = {Kretínský, Jan and Meggendorfer, Tobias and Sickert, Salomon and Ziegler, Christopher}, biburl = {https://www.bibsonomy.org/bibtex/2ee2b385d37fca79594dfb11aa3511f78/dblp}, booktitle = {CAV (1)}, crossref = {conf/cav/2018-1}, editor = {Chockler, Hana and Weissenbacher, Georg}, ee = {https://doi.org/10.1007/978-3-319-96145-3_30}, interhash = {097644e9ffc83b46a5741c577233fac8}, intrahash = {ee2b385d37fca79594dfb11aa3511f78}, isbn = {978-3-319-96145-3}, keywords = {dblp}, pages = {567-577}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:16:26.000+0200}, title = {Rabinizer 4: From LTL to Your Favourite Deterministic Automaton.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2018-1.html#KretinskyMSZ18}, volume = 10981, year = 2018 }