TY - JOUR T1 - A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata JO - Electronic Notes in Theoretical Computer Science PY - 2005/11/01 AU - Bowman H AU - Gomez R AU - Su L ED - DO - DOI: 10.1016/j.entcs.2005.09.006 PB - Elsevier BV VL - 139 IS - 1 SP - 25 EP - 47 Y2 - 2025/07/20 ER -