%0 Thesis %1 phd/hu/Tamas21b %A Tóth, Tamás %D 2021 %K dblp %T Abstraction Refinement-Based Verification of Timed Automata

@phdthesis{phd/hu/Tamas21b, added-at = {2023-06-28T00:00:00.000+0200}, author = {Tóth, Tamás}, biburl = {https://www.bibsonomy.org/bibtex/242ed23512893703edb9a36ba33de3917/dblp}, ee = {https://doktori.hu/index.php?menuid=193&lang=HU&vid=23780}, interhash = {0db37f8a8925cab57b27b44876bded2b}, intrahash = {42ed23512893703edb9a36ba33de3917}, keywords = {dblp}, school = {Budapest University of Technology and Economics, Hungary}, timestamp = {2024-04-09T09:26:01.000+0200}, title = {Abstraction Refinement-Based Verification of Timed Automata}, year = 2021 }