Author:
Krcal Pavel,Abdulla Parosh,Yi Wang
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Reference20 articles.
1. A theory of timed automata
2. P. A. Abdulla, P. Krcal, and W. Yi. R-automata. InProc. of CONCUR'08, volume 5201 ofLNCS, pages 67-81. Springer-Verlag, 2008.
3. On discretization of delays in timed automata and digital circuits
4. K. Altisen and S. Tripakis. Implementation of timed automata: An issue of semantics or modeling? InProc. of FORMATS'05, volume 3829 ofLNCS, pages 273-288. Springer-Verlag, 2005.
5. M. Bojańczyk and T. Colcombet. Bounds in omega-regularity. InProc. of LICS'06, pages 285-296. IEEE Computer Society Press, 2006.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献