Author:
Lynch Nancy,Segala Roberto,Vaandrager Frits
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference83 articles.
1. Composing specifications;Abadi;ACM Transactions on Programming Languages and Systems,1993
2. Timed automata;Alur,1998
3. The algorithmic analysis of hybrid systems;Alur;Theoretical Computer Science,1995
4. R. Alur, C. Courcoubetis, T.A. Henzinger, P.-H. Ho, Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems, in: Grossman et al. [28], 209–229
5. A theory of timed automata;Alur;Theoretical Computer Science,1994
Cited by
240 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献