Sascha Lehmann, Sibylle Schupp. Bounded DBM-based clock state construction for timed automata in Uppaal. STTT, 25(1):19-47, February 2023. [doi]
@article{LehmannS23,
title = {Bounded DBM-based clock state construction for timed automata in Uppaal},
author = {Sascha Lehmann and Sibylle Schupp},
year = {2023},
month = {February},
doi = {10.1007/s10009-022-00667-x},
url = {https://doi.org/10.1007/s10009-022-00667-x},
researchr = {https://researchr.org/publication/LehmannS23},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {25},
number = {1},
pages = {19-47},
}