Large-scale directed model checking LTL (2006)

by S Edelkamp, S Jabbar
Venue:In Model Checking Software (SPIN), volume 3925 of LNCS