Event-Clock Automata: A Determinizable Class of Timed Automata

Rajeev Alur, Limor Fix, Thomas A. Henzinger. Event-Clock Automata: A Determinizable Class of Timed Automata. Theoretical Computer Science, 211(1-2):253-273, 1999. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.