Combining Abduction and Model Checking Techniques

Articolo
Data di Pubblicazione:
1998
Tipologia CRIS:
1.1 Articolo in rivista
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.unirc.it/handle/20.500.12318/2497
Pubblicato in:
PERIODICA POLYTECHNICA. TRANSPORTATION ENGINEERING
Journal