Subject
General Computer Science,Theoretical Computer Science
Reference26 articles.
1. N. Bjørner, I. Browne, E. Chang, M. Colón, A. Kapur, Z. Manna, H. Sipma, T. Uribe, STeP: the Stanford temporal prover, User's Manual, Technical Report STAN-CS-TR-95-1562, Computer Science Department, Stanford University, November 1995.
2. Theories of automata on ω-tapes;Choueka;J. Comp. Systems Sci.,1974
3. Another look at LTL model checking;Clarke,1994
4. Temporal and modal logics;Emerson,1990
5. ‘Sometimes’ and ‘not never’ revisited;Emerson;J. ACM.,1986
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献