@inbook{Jankola_2024,
    title = {Tighter Construction of Tight Büchi Automata},
    isbn = {9783031572289},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-031-57228-9_12},
    doi = {10.1007/978-3-031-57228-9_12},
    booktitle = {Foundations of Software Science and Computation Structures},
    publisher = {Springer Nature Switzerland},
    author = {Jankola, Marek and Strejček, Jan},
    year = {2024},
    pages = {234–255},
    date-added = {2024-4-18 20:8:19 +0100}
}

@inbook{Jankola_2024, title = {Tighter Construction of Tight Büchi Automata}, isbn = {9783031572289}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-031-57228-9_12}, doi = {10.1007/978-3-031-57228-9_12}, booktitle = {Foundations of Software Science and Computation Structures}, publisher = {Springer Nature Switzerland}, author = {Jankola, Marek and Strejček, Jan}, year = {2024}, pages = {234–255}, date-added = {2024-4-18 20:8:19 +0100} }