Publisher
Springer International Publishing
Reference20 articles.
1. Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183–235 (1994).
https://doi.org/10.1016/0304-3975(94)90010-8
2. Lecture Notes in Computer Science;G Behrmann,2003
3. Lecture Notes in Computer Science;G Behrmann,2004
4. Lecture Notes in Computer Science;D Beyer,2013
5. Carioni, A., Ghilardi, S., Ranise, S.: MCMT in the land of parametrized timed automata. In: 6th International Verification Workshop (VERIFY-2010), pp. 47–64 (2010)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献