Backward reachability analysis for timed automata with data variables

TitleBackward reachability analysis for timed automata with data variables
Publication TypeBook Chapter
Year of Publication2018
AuthorsRebeka, F., Tóth, T., Hajdu, Á., and Vörös, A.
Book TitleProceedings of the 18th International Workshop on Automated Verification of Critical Systems
Series TitleElectronic Communications of the EASST
Volume76
Pagination1-20
PublisherEASST
CityOxford, England
DOI10.14279/tuj.eceasst.76.1076
PDF: