Backward reachability analysis for timed automata with data variables

CímBackward reachability analysis for timed automata with data variables
Közlemény típusaBook Chapter
Kiadás éve2018
SzerzőkRebeka, F., Tóth, T., Hajdu, Á., and Vörös, A.
KönyvcímProceedings of the 18th International Workshop on Automated Verification of Critical Systems
SorozatcímElectronic Communications of the EASST
Kötet76
Pagination1-20
KiadóEASST
VárosOxford, England
DOI10.14279/tuj.eceasst.76.1076
PDF: