Author:
Browne M.C.,Clarke E.M.,Grümberg O.
Subject
General Computer Science,Theoretical Computer Science
Reference22 articles.
1. A linear algorithm to solve fixed-point equations on graphs;Arnold,1986
2. The temporal logic of branching time;Ben-Ari;Acta Inform.,1983
3. Automatic verification of sequential circuits using temporal logic;Browne;IEEE Trans. Comput.,1986
4. Design and synthesis of synchronization skeletons using branching time temporal logic;Clarke,1981
5. Automatic verification of finite-state concurrent systems using temporal logic specifications;Clarke;ACM Trans. Programming Languages and Systems,1986
Cited by
252 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献