Author:
Wen Yunqing,Li Guoqiang,Yuen Shoji
Publisher
Springer International Publishing
Reference17 articles.
1. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126, 183–235 (1994)
2. Lecture Notes in Computer Science;P Bouyer,2000
3. Lecture Notes in Computer Science;P Bouyer,2000
4. Bouyer, P., Dufourd, C., Fleury, E., Petit, A.: Updatable timed automata. Theor. Comput. Sci. 321, 291–345 (2004)
5. Schwoon, S.: Model-checking pushdown system. Ph.D. thesis, Technical University of Munich (2000)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献