NUSMV: a new symbolic model checker
Top Cited Papers
- 1 March 2000
- journal article
- regular contribution
- Published by Springer Nature in International Journal on Software Tools for Technology Transfer
- Vol. 2 (4) , 410-425
- https://doi.org/10.1007/s100090050046
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: