Subject
General Computer Science,Theoretical Computer Science
Reference29 articles.
1. Monadic logic of order over naturals has no finite base;Beauquier;Journal on Logic and Computation,2002
2. The temporal logic of branching time;Ben-Ari,1981
3. Design and verification of synchronous skeletons using branching time temporal logic;Clarke,1981
4. E.M. Clarke, E.A. Emerson, A.P. Sistla, Automatic verification of finite state concurrent system using temporal logic, in: 10th ACM Symp. on Principles of Prog. Lang., 1983, pp. 117–126
5. Automatic verification of finite-state concurrent systems using temporal logic specifications;Clarke;ACM Transactions on Programming Languages and Systems,1986
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献