Efficient model checking of safety properties (2003)

by T Latvala
Venue:In Model Checking Software, volume 2648 of LNCS