Tabled resolution and constraints for model checking real-time systems and infinite-state systems

• Authors:

• Scott A. Smolka;C. R. Ramakrishnan;Xiaoqun Du

• Affiliations:

• -;-;-

• Venue:
• Tabled resolution and constraints for model checking real-time systems and infinite-state systems
• Year:
• 2000