Skip to main content

Enhancing Model Checking in Verification by AI Techniques

Francesco Buccafurri‚ Thomas Eiter‚ Georg Gottlob and Nicola Leone

Journal
Artif. Intell.
Number
1−2
Pages
57−104
Volume
112
Year
1999