Backward reachability analysis for timed automata with data variables

CímBackward reachability analysis for timed automata with data variables
Közlemény típusaConference Paper
Kiadás éveElküldve
SzerzőkFarkas, R., Tóth, T., Hajdu, Á., and Vörös, A.
Konferencia neve18th International Workshop on Automated Verification of Critical Systems
Konferencia helyszíneOxford, England