%0 Conference Paper %1 conf/atva/HolikLSVV18 %A Holík, Lukás %A Lengál, Ondrej %A Síc, Juraj %A Veanes, Margus %A Vojnar, Tomás %B ATVA %D 2018 %E Lahiri, Shuvendu K. %E Wang, Chao %I Springer %K dblp %P 109-125 %T Simulation Algorithms for Symbolic Automata. %U http://dblp.uni-trier.de/db/conf/atva/atva2018.html#HolikLSVV18 %V 11138 %@ 978-3-030-01090-4

@inproceedings{conf/atva/HolikLSVV18, added-at = {2021-10-14T00:00:00.000+0200}, author = {Holík, Lukás and Lengál, Ondrej and Síc, Juraj and Veanes, Margus and Vojnar, Tomás}, biburl = {https://www.bibsonomy.org/bibtex/22e5fb557de9f843d6f427d9a261bcb84/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_7}, interhash = {bfd2ecd006733b3d14574d30f17f3ea1}, intrahash = {2e5fb557de9f843d6f427d9a261bcb84}, isbn = {978-3-030-01090-4}, keywords = {dblp}, pages = {109-125}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T12:16:48.000+0200}, title = {Simulation Algorithms for Symbolic Automata.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2018.html#HolikLSVV18}, volume = 11138, year = 2018 }