Enhancing Model Checking in Verification by AI Techniques

Articolo
Data di Pubblicazione:
1999
Citazione:
Enhancing Model Checking in Verification by AI Techniques / Buccafurri, Francesco; Eiter, T.; Gottlob, G.; Leone, N.. - In: ARTIFICIAL INTELLIGENCE. - ISSN 0004-3702. - 112:(1999), pp. 57-104.
Tipologia CRIS:
1.1 Articolo in rivista
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.unirc.it/handle/20.500.12318/2886
Pubblicato in:
ARTIFICIAL INTELLIGENCE
Journal