@inbook{Chocholat__2024,
    title = {Mata: A Fast and Simple Finite Automata Library},
    isbn = {9783031572494},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-031-57249-4_7},
    doi = {10.1007/978-3-031-57249-4_7},
    booktitle = {Tools and Algorithms for the Construction and Analysis of Systems},
    publisher = {Springer Nature Switzerland},
    author = {Chocholatý, David and Fiedor, Tomáš and Havlena, Vojtěch and Holík, Lukáš and Hruška, Martin and Lengál, Ondřej and Síč, Juraj},
    year = {2024},
    pages = {130–151},
    date-added = {2025-3-10 10:15:25 +0100}
}

@inbook{Chocholat__2024, title = {Mata: A Fast and Simple Finite Automata Library}, isbn = {9783031572494}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-031-57249-4_7}, doi = {10.1007/978-3-031-57249-4_7}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems}, publisher = {Springer Nature Switzerland}, author = {Chocholatý, David and Fiedor, Tomáš and Havlena, Vojtěch and Holík, Lukáš and Hruška, Martin and Lengál, Ondřej and Síč, Juraj}, year = {2024}, pages = {130–151}, date-added = {2025-3-10 10:15:25 +0100} }