%0 Conference Paper %1 conf/cav/BabiakBDKKM0S15 %A Babiak, Tomás %A Blahoudek, Frantisek %A Duret-Lutz, Alexandre %A Klein, Joachim %A Kretínský, Jan %A Müller, David %A Parker, David %A Strejcek, Jan %B CAV (1) %D 2015 %E Kroening, Daniel %E Pasareanu, Corina S. %I Springer %K %P 479-486 %T The Hanoi Omega-Automata Format. %U http://dblp.uni-trier.de/db/conf/cav/cav2015-1.html#BabiakBDKKM0S15 %V 9206 %@ 978-3-319-21689-8

@inproceedings{conf/cav/BabiakBDKKM0S15, added-at = {2023-12-13T04:20:37.000+0100}, author = {Babiak, Tomás and Blahoudek, Frantisek and Duret-Lutz, Alexandre and Klein, Joachim and Kretínský, Jan and Müller, David and Parker, David and Strejcek, Jan}, biburl = {https://www.bibsonomy.org/bibtex/2a0de6fa81e276823f512e8034f4c2b6d/admin}, booktitle = {CAV (1)}, crossref = {conf/cav/2015-1}, editor = {Kroening, Daniel and Pasareanu, Corina S.}, ee = {https://doi.org/10.1007/978-3-319-21690-4_31}, interhash = {94984bcb6aaa3bae53cf3431d9a7e81a}, intrahash = {a0de6fa81e276823f512e8034f4c2b6d}, isbn = {978-3-319-21689-8}, keywords = {}, pages = {479-486}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T04:20:37.000+0100}, title = {The Hanoi Omega-Automata Format.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2015-1.html#BabiakBDKKM0S15}, volume = 9206, year = 2015 }