Author:
Arnold André,Crubille Paul
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference7 articles.
1. Automatic verification of finite state concurrent systems using temporal logic specifications: A practical approach;Clarke;ACM Trans. Programming Languages & Systems,1986
2. An algebraic and algorithmic method of analyzing transition systems;Dicky;Theoret. Comput. Sci.,1986
3. Efficient model checking in fragments of the propositional μ-calculus;Emerson;Symp. on Logic in Computer Science,1986
4. Formal verification of parallel programs;Keller;Comm. ACM,1976
5. Results on the propositional μ-calculus;Kozen;Theoret. Comput. Sci.,1983
Cited by
49 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献