%0 Conference Paper %1 conf/atva/KretinskyMS18 %A Kretínský, Jan %A Meggendorfer, Tobias %A Sickert, Salomon %B ATVA %D 2018 %E Lahiri, Shuvendu K. %E Wang, Chao %I Springer %K dblp %P 543-550 %T Owl: A Library for ω-Words, Automata, and LTL. %U http://dblp.uni-trier.de/db/conf/atva/atva2018.html#KretinskyMS18 %V 11138 %@ 978-3-030-01090-4

@inproceedings{conf/atva/KretinskyMS18, added-at = {2019-09-05T00:00:00.000+0200}, author = {Kretínský, Jan and Meggendorfer, Tobias and Sickert, Salomon}, biburl = {https://www.bibsonomy.org/bibtex/24b0f074bd29f189077ac173a82e8fe5f/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2018}, editor = {Lahiri, Shuvendu K. and Wang, Chao}, ee = {https://doi.org/10.1007/978-3-030-01090-4_34}, interhash = {201d5048e8b4ec21a8e2fb90c82426b0}, intrahash = {4b0f074bd29f189077ac173a82e8fe5f}, isbn = {978-3-030-01090-4}, keywords = {dblp}, pages = {543-550}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-06T11:48:26.000+0200}, title = {Owl: A Library for ω-Words, Automata, and LTL.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2018.html#KretinskyMS18}, volume = 11138, year = 2018 }