Author:
Asarin Eugene,Basset Nicolas,Béal Marie-Pierre,Degorre Aldric,Perrin Dominique
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)
2. Lecture Notes in Computer Science;E. Asarin,2009
3. Lecture Notes in Computer Science;E. Asarin,2009
4. Asarin, E., Degorre, A.: Two Size Measures for Timed Languages. In: FSTTCS. LIPIcs, vol. 8, pp. 376–387 (2010)
5. Basset, N.: Dynamique Symbolique et Langages Temporisés. Master’s thesis, Master Parisien de la Recherche Informatique (2010)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献