Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Enhancing Model Checking in Verification by AI Techniques

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

Links

See Also

Back to Top