Author:
Stergiou Christos,Tripakis Stavros,Matsikoudis Eleftherios,Lee Edward A.
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. The MIT Press Series in Artificial Intelligence;G. Agha,1986
2. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)
3. Bae, K., Csaba Olveczky, P., Feng, T.H., Lee, E.A., Tripakis, S.: Verifying Hierarchical Ptolemy II Discrete-Event Models using Real-Time Maude. Science of Computer Programming 77(12), 1235–1271 (2012)
4. Cassandras, C., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers (1999)
5. Cataldo, A., Lee, E., Liu, X., Matsikoudis, E., Zheng, H.: A constructive fixed-point theorem and the feedback semantics of timed sy stems. In: WODES (2006)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献