Symbolic Model Checking without BDDs
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
On Generating Small Clause Normal Forms
CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
A resolution method for CTL branching-time temporal logic
TIME '97 Proceedings of the 4th International Workshop on Temporal Representation and Reasoning (TIME '97)
Hi-index | 0.00 |