Rebeka Farkas, Tamás Tóth, Ákos Hajdu, András Vörös 0001. Backward Reachability Analysis for Timed Automata with Data Variables. ECEASST, 76, 2018. [doi]
@article{FarkasTHV18,
title = {Backward Reachability Analysis for Timed Automata with Data Variables},
author = {Rebeka Farkas and Tamás Tóth and Ákos Hajdu and András Vörös 0001},
year = {2018},
doi = {10.14279/tuj.eceasst.76.1076},
url = {https://doi.org/10.14279/tuj.eceasst.76.1076},
researchr = {https://researchr.org/publication/FarkasTHV18},
cites = {0},
citedby = {0},
journal = {ECEASST},
volume = {76},
}