Survey on directed model checking (0)

by S Edelkamp, V Schuppan, D Bonaki, A Wijs, A Fehnker, H Aljazzar
Venue:in Model Checking and Artificial Intelligence, ser. Lecture Notes in Computer Science, D. Peled and