Publisher
Springer Berlin Heidelberg
Reference5 articles.
1. Eugene Asarin, Paul Caspi, and Oded Maler. A Kleene theorem for timed automata. In Proc. 12th Annual IEEE Symposium on Logic in Computer Science, pages 160–171, Warsaw, June 1997. IEEE Computer Society.
2. Rajeev Alur and David L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183–235, 1994.
3. Janusz A. Brzozowski. A survey of regular expressions and their applications. IRE Trans. on Electronic Computers, EC-11(3):324–335, 1962.
4. Conrado Daws, Alfredo Olivero, Stavros Tripakis, and Sergio Yovine. The tool KRONOS. In Rajeev Alur, Thomas A. Henzinger, and Eduardo D. Sontag, editors, Hybrid Systems III, Verification and Control, number 1066 in Lecture Notes in Computer Science, pages 208–219. Springer-Verlag, 1996.
5. S.C. Kleene. Representations of events in nerve nets and finite automata. In R. McNaughton and H. Yamada, editors, Automata Studies, pages 3–42. Princeton University Press, 1956.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Survey on Continuous Time Computations;New Computational Paradigms;2008
2. Automata on Linear Orderings;Developments in Language Theory;2003
3. Timed regular expressions;Journal of the ACM;2002-03
4. Automata on Linear Orderings;Mathematical Foundations of Computer Science 2001;2001
5. Timed Formal Languages - A Framework for Hybrid Systems;IFAC Proceedings Volumes;1998-09