Author:
Basset Nicolas,Asarin Eugene
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Abdulla, P.A., Krcál, P., Yi, W.: Sampled semantics of timed automata. Logical Methods in Computer Science 6(3) (2010)
2. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126, 183–235 (1994)
3. Lecture Notes in Computer Science;E. Asarin,2009
4. Lecture Notes in Computer Science;E. Asarin,2009
5. Asarin, E., Degorre, A.: Two size measures for timed languages. In: FSTTCS, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. LIPIcs, vol. 8, pp. 376–387 (2010)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献