Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Alur, R., Dill, D.: A Theory of Timed Automata. Theoretical Computer Science 126(2), 183–235 (1994)
2. Baeten, J., Bergstra, J.: Real Time Process Algebra. Formal Aspects of Computing 3(2), 142–188 (1991)
3. Dutertre, B., Sorea, M.: Timed systems in SAL. Technical report, Computer Science Laboratory, SRI International, Menlo Park, CA (2004)
4. Lecture Notes in Computer Science;B. Dutertre,2004
5. Lecture Notes in Computer Science;T.A. Henzinger,1992