@article{article, title = {{A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata}},
publisher = {{Elsevier BV}},
url = {{}},
year = {{2005}},
month = {{11}},
author = {{Bowman H and Gomez R and Su L}},
doi = {{10.1016/j.entcs.2005.09.006}},
volume = {{139}},
journal = {{Electronic Notes in Theoretical Computer Science}},
issue = {{1}},
pages = {{25-47}},
note = {{Accessed on 2025/07/25}}}