DMCA

NuSMV: A new symbolic model verifier (1999)

by A. Cimatti , E. Clarke , F. Giunchiglia , M. Roveri
Citations:224 - 19 self