Author:
Abdulla Parosh Aziz,Krcal Pavel,Yi Wang
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Lecture Notes in Computer Science;P.A. Abdulla,2005
2. Abdulla, P.A., Krcal, P., Yi, W.: Sampled universality of timed automata. Technical Report 2007-001, IT Department, Uppsala University (Jan. 2007)
3. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994),
citeseer.nj.nec.com/alur94theory.html
4. Lecture Notes in Computer Science;E. Asarin,1997
5. Lecture Notes in Computer Science;E. Asarin,1998
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. R-Automata;CONCUR 2008 - Concurrency Theory;2008