Author:
Asarin Eugene,Schneider Gerardo,Yovine Sergio
Subject
General Computer Science,Theoretical Computer Science
Reference53 articles.
1. Symbolic verification of lossy channel systems: Application to the bounded retransmission protocol;Abdulla,1999
2. E. Asarin, O. Bournez, T. Dang, O. Maler, Approximate reachability analysis of piecewise-linear dynamical systems, in: Lynch and Krogh [39], pp. 20–31
3. The algorithmic analysis of hybrid systems;Alur;Theoretical Computer Science,1995
4. A theory of timed automata;Alur;Theoretical Computer Science,1994
5. R. Alur, R. Grosu, Y. Hur, V. Kumar, I. Lee, Modular specification of hybrid systems in charon, in: Lynch and Krogh [39], pp. 6–19
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献