Funder
University of Westminster
University of the Basque Country
Subject
General Computer Science,Theoretical Computer Science
Reference23 articles.
1. Decision procedures and expressiveness in the temporal logic of branching time;Emerson;J. Comput. Syst. Sci.,1985
2. Sometimes and not never revisited: on branching versus linear time temporal logic;Emerson;J. ACM,1986
3. Automatic verification of finite-state concurrent systems using temporal logic specifications;Clarke;ACM Trans. Program. Lang. Syst.,1986
4. Model checking of ctl formulae under liveness assumptions;Josko,1987
5. Temporal reasoning under generalized fairness constraints;Emerson,1986
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献