Author:
Demri Stéphane,Schnoebelen Philippe
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference43 articles.
1. Automata based symbolic reasoning in hardware verification;Basin;Formal Methods in System Design,1998
2. Bjørner, N., Browne, A., Chang, E., Colón, M., Kapur, A., Manna, Z., Sipma, H. B., and Uribe, T. E.1996, STeP: Deductive-algorithmic verification of reactive and real-time systems, inProc. 8th Int. Conf. Computer Aided Verification (CAV'96), New Brunswick, NJ, July-Aug., 1996, Lecture Notes in Computer Science, Vol. 1102, pp. 415–418, Springer-Verlag, Berlin.
3. Characterizing finite Kripke structures in propositional temporal logic;Browne;Theoret. Comput. Sci.,1988
4. An algebraic study of Diodorean modal systems;Bull;J. Symbolic Logic,1965
5. The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic;Chen;Inform. Process. Lett.,1993
Cited by
65 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献