@inbook{Bend_k_2021,
    title = {Timed Automata Relaxation for Reachability},
    isbn = {9783030720162},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-030-72016-2_16},
    doi = {10.1007/978-3-030-72016-2_16},
    booktitle = {Lecture Notes in Computer Science},
    publisher = {Springer International Publishing},
    author = {Bendík, Jaroslav and Sencan, Ahmet and Gol, Ebru Aydin and Černá, Ivana},
    year = {2021},
    pages = {291–310},
    date-added = {2023-11-24 7:17:37 +0100}
}

@inbook{Bend_k_2021, title = {Timed Automata Relaxation for Reachability}, isbn = {9783030720162}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-030-72016-2_16}, doi = {10.1007/978-3-030-72016-2_16}, booktitle = {Lecture Notes in Computer Science}, publisher = {Springer International Publishing}, author = {Bendík, Jaroslav and Sencan, Ahmet and Gol, Ebru Aydin and Černá, Ivana}, year = {2021}, pages = {291–310}, date-added = {2023-11-24 7:17:37 +0100} }