@inproceedings{DBLP:conf/cav/CavadaCDGMMMRT14, author = {Roberto Cavada and Alessandro Cimatti and Michele Dorigatti and Alberto Griggio and Alessandro Mariotti and Andrea Micheli and Sergio Mover and Marco Roveri and Stefano Tonetta}, title = {The nuXmv Symbolic Model Checker}, booktitle = {CAV}, year = {2014}, pages = {334-342}, ee = {http://dx.doi.org/10.1007/978-3-319-08867-9_22}, crossref = {DBLP:conf/cav/2014}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/cav/2014, editor = {Armin Biere and Roderick Bloem}, title = {Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings}, booktitle = {CAV}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {8559}, year = {2014}, isbn = {978-3-319-08866-2}, ee = {http://dx.doi.org/10.1007/978-3-319-08867-9}, bibsource = {DBLP, http://dblp.uni-trier.de} }