Author:
Wang Yuwei,Wen Yunqing,Li Guoqiang,Yuen Shoji
Publisher
Springer International Publishing
Reference23 articles.
1. Mattai, J.: Real-Time Systems: Specification, Verification, and Analysis. Prentice Hall, Englewood Cliffs (1995)
2. Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126, 183–235 (1994)
3. Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. Inf. Comput. 111, 193–244 (1994)
4. Lecture Notes in Computer Science;J Bengtsson,2004
5. Clemente, L., Lasota, S.: Timed pushdown automata, revisited. In: Proceedings of LICS 2015, pp. 738–749