Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference10 articles.
1. Automata, tableaux, and temporal logic;Emerson,1985
2. Characterizing correctness properties of parallel programs as fixpoints;Emerson,1981
3. ‘Sometimes’ and ‘not never’ revisited: On branching versus linear time temporal logic;Emerson;J. ACM,1986
4. Deciding full branching time logic;Emerson;Inform. and Control,1984
5. Results on the propositional μ-calculus;Kozen;Theoret. Comput. Sci.,1983
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献