%0 Conference Paper %1 conf/tacas/ChocholatyFHHHLS24 %A Chocholatý, David %A Fiedor, Tomás %A Havlena, Vojtech %A Holík, Lukás %A Hruska, Martin %A Lengál, Ondrej %A Síc, Juraj %B TACAS (2) %D 2024 %E Finkbeiner, Bernd %E Kovács, Laura %I Springer %K dblp %P 130-151 %T Mata: A Fast and Simple Finite Automata Library. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2024-2.html#ChocholatyFHHHLS24 %V 14571 %@ 978-3-031-57249-4

@inproceedings{conf/tacas/ChocholatyFHHHLS24, added-at = {2024-04-14T00:00:00.000+0200}, author = {Chocholatý, David and Fiedor, Tomás and Havlena, Vojtech and Holík, Lukás and Hruska, Martin and Lengál, Ondrej and Síc, Juraj}, biburl = {https://www.bibsonomy.org/bibtex/28e62888157861d72a8078d5b2119abf1/dblp}, booktitle = {TACAS (2)}, crossref = {conf/tacas/2024-2}, editor = {Finkbeiner, Bernd and Kovács, Laura}, ee = {https://doi.org/10.1007/978-3-031-57249-4_7}, interhash = {8e38882935f9d4202848ba2f73563a6b}, intrahash = {8e62888157861d72a8078d5b2119abf1}, isbn = {978-3-031-57249-4}, keywords = {dblp}, pages = {130-151}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-15T07:04:39.000+0200}, title = {Mata: A Fast and Simple Finite Automata Library.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2024-2.html#ChocholatyFHHHLS24}, volume = 14571, year = 2024 }