Author:
Dima Cătălin,Lanotte Ruggero
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science
Reference32 articles.
1. Abdeddaïm Y., Asarin E., Maler O.: Scheduling with timed automata. Theor. Comput. Sci. 354(2), 272–300 (2006)
2. Akshay, S., Bollig, B., Gastin, P., Mukund, M., Narayan Kumar K.: Distributed timed automata with independently evolving clocks. In: Proceedings of the 19th International Conference on Concurrency Theory (CONCUR 2008), volume 5201 of Lecture Notes in Computer Science, pp. 82–97. Springer, Berlin (2008)
3. Asarin, E., Caspi, P., Maler, O.: A Kleene theorem for timed automata. In: Proceedings of the 12th International Symposium in Logic in Computer System (LICS’97), pp. 160–171. IEEE Computer Society Press, Silver Spring (1997)
4. Asarin E., Caspi P., Maler O.: Timed regular expressions. J. Assoc. Comput. Mach. 49, 172–206 (2002)
5. Alur R., Dill D.L.: A theory of timed automata. Theor. Comput. Sci. 126, 183–235 (1994)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A menagerie of timed automata;ACM Computing Surveys;2014-01