“nuXmv符号模型检查器。”
罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 米歇尔·多里加蒂 , 阿尔贝托·格里乔 , 亚历山德罗·马里奥蒂 , 安德烈亚·米其利 , 塞尔吉奥·莫弗 , 马可·罗维里 , 斯特凡诺·托内塔 :
nuXmv符号模型检查器。 CAV汽车 2014 : 334-342
由于不可用的引用数据,下面的列表可能是不完整的, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。