Author:
Gerth Rob,Kuiper Ruurd,Peled Doron,Penczek Wojciech
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference26 articles.
1. An automata theoretic approach to branching time model checking;Bernholtz,1994
2. Characterizing finite Kripke structures in propositional temporal logic;Browne;Theoret. Comput. Sci.,1988
3. Automatic verification of finite state concurrent systems using temporal logic specifications: A practical approach;Clarke;ACM Trans. Programming Lang. Systems,1986
4. “On-the-fly” verification of behavioral equivalences and preorders;Fernandez,1991
5. A partial order approach to branching time logic model checking;Gerth,1995
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献