%0 Journal Article %1 journals/sttt/CimattiCGR00 %A Cimatti, Alessandro %A Clarke, Edmund M. %A Giunchiglia, Fausto %A Roveri, Marco %D 2000 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 4 %P 410-425 %T NUSMV: A New Symbolic Model Checker. %U http://dblp.uni-trier.de/db/journals/sttt/sttt2.html#CimattiCGR00 %V 2

@article{journals/sttt/CimattiCGR00, added-at = {2020-04-02T00:00:00.000+0200}, author = {Cimatti, Alessandro and Clarke, Edmund M. and Giunchiglia, Fausto and Roveri, Marco}, biburl = {https://www.bibsonomy.org/bibtex/23a7c821421522e2394924d9945c00d34/dblp}, ee = {https://www.wikidata.org/entity/Q62041431}, interhash = {33c4c8367dede4ab81be4d7f222c3241}, intrahash = {3a7c821421522e2394924d9945c00d34}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 4, pages = {410-425}, timestamp = {2020-04-03T11:54:30.000+0200}, title = {NUSMV: A New Symbolic Model Checker.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt2.html#CimattiCGR00}, volume = 2, year = 2000 }