NuSMV: a reimplementation of SMV (1998)

Cached

Download Links

by E. Cimatti , Clarke , Giunchiglia , M. Roveri , Alessandro Cimatti , Fausto Giunchiglia , Marco Roveri
Venue:In Proc. STTT'98
Citations:9 - 2 self