@正在处理{DBLP:conf/cav/CavadaCDGMMMRT14,作者{罗伯托·卡瓦达和亚历山德罗·西马蒂和Michele Dorigatti和阿尔贝托·格里戈和亚历山德罗·马里奥蒂和安德烈·米切利和Sergio Mover和马可·罗维里和斯特凡诺·托内塔},title={nummv符号模型检查器},书名={CAV},年份:{2014},页码:{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}}@会议记录{DBLP:conf/cav/2014,编辑{Armin Biere and罗德里克·布洛姆},计算机辅助验证第26届国际会议,CAV 2014,作为维也纳逻辑之夏的一部分,VSL2014年,奥地利维也纳,2014年7月18日至22日。会议记录},书名={CAV},publisher={Springer},系列{计算机科学讲义},{8559卷,年份:{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}}