A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis (2007)

by P Bertoli, M Bozzano, A Cimatti
Venue:In Model Checking and Artificial Intelligence, volume 4428 of LNCS