Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri. NUSMV: A New Symbolic Model Checker. STTT, 2(4):410-425, 2000. [doi]
@article{CimattiCGR00,
title = {NUSMV: A New Symbolic Model Checker},
author = {Alessandro Cimatti and Edmund M. Clarke and Fausto Giunchiglia and Marco Roveri},
year = {2000},
url = {http://link.springer.de/link/service/journals/10009/bibs/0002004/00020410.htm},
tags = {meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/CimattiCGR00},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {2},
number = {4},
pages = {410-425},
}