NuSMV: A new symbolic model veri (1999)

by A Cimatti, E M Clarke, F Giunchiglia, M Roveri
Venue:In Computer Aided Veri LNCS 1633