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  - 2024/12/22

ER  -