DMCA

The nuxmv symbolic model checker (2014)

Cached

Download Links

by R. Cavada , A. Cimatti , M. Dorigatti , A. Griggio , A. Mariotti , A. Micheli , S. Mover , M. Roveri , S. Tonetta
Venue:IN CAV
Citations:5 - 1 self