Author:
Zhang Ting,Sipma Henny B.,Manna Zohar
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference41 articles.
1. Uniform derivation of decision procedures by superposition;Armando;Lecture Notes in Computer Science,2001
2. A complete axiomatization of a theory with feature and arity constraints;Backofen;Journal of Logical Programming,1995
3. Verifying temporal properties of reactive systems: a STeP tutorial;Bjørner;Formal Methods in System Design,2000
4. N.S. Bjørner, Integrating decision procedures for temporal verification, Ph.D. thesis, Computer Science Department, Stanford University, 1998.
5. Equational formulae with membership constraints;Comon;Information and Computation,1994
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献