Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Asarin, E., Caspi, P., Maler, O.: Timed regular expressions. Journal of ACM 49, 172–206 (2002)
2. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)
3. Asarin, E., Dima, C.: Balanced timed regular expressions. ENTCS, vol. 68(5) (2003)
4. Lecture Notes in Computer Science;D. Beauquier,1998
5. Bellmann, R.: Dynamic Programming. Princeton University Press, Princeton (1957)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献