Author:
Asarin Eugene,Maler Oded,Pnueli Amir
Subject
General Computer Science,Theoretical Computer Science
Reference17 articles.
1. Model checking in dense real time;Alur;Inform. and Comput.,1993
2. Hybrid automata: an algorithmic appraoch to the specification and analysis of hybrid systems;Alur,1993
3. A theory of time automata;Alur;Theoret. Comput. Sci.,1994
4. On some relations between dynamical systems and transition systems;Asarin,1994
5. Universal computation and other capabilities of hybrid and continuous dynamical systems;Branicky;Theoret. Comput. Sci.,1995
Cited by
154 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献