Enhancing Model Checking in Verification by AI Techniques
Francesco Buccafurri‚ Thomas Eiter‚ Georg Gottlob and Nicola Leone
Details
| Journal |
Artif. Intell. |
| Number |
1−2 |
| Pages |
57−104 |
| Volume |
112 |
| Year |
1999 |
Links
DOI (10.1016/S0004-3702(99)00039-9)
Related pages
|
People |