Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. Lecture Notes in Computer Science;P.A. Abdulla,1998
2. Abdulla, P.A., Deneux, J., Ouaknine, J., Quaas, K., Worrell, J.: Universality analysis for one-clock timed automata. Fundam. Inform. 89(4), 419–450 (2008)
3. Lecture Notes in Computer Science;S. Adams,2007
4. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
5. Lecture Notes in Computer Science;R. Alur,2004