Author:
Ody Heinrich,Fränzle Martin,Hansen Michael R.
Publisher
Springer International Publishing
Reference25 articles.
1. Lecture Notes in Computer Science;S Almagor,2014
2. Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183–235 (1994)
3. Asarin, E., Maler, O., Pnueli, A., Sifakis, J.: Controller synthesis for timed automata. In: Symposium on System Structure and Control, pp. 469–474 (1998)
4. Lecture Notes in Computer Science;B Badban,2011
5. Lecture Notes in Computer Science;J Bengtsson,2003
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献