Combining Abduction and Model Checking Techniques

Academic Article

Publication Date:

1998

Iris type:

1.1 Articolo in rivista

List of contributors:

Buccafurri, Francesco; Eiter, T.; Gottlob, G.; Leone, N.

Authors of the University:

BUCCAFURRI Francesco

Handle:

https://iris.unirc.it/handle/20.500.12318/2497

Published in:

PERIODICA POLYTECHNICA. TRANSPORTATION ENGINEERING

Journal