NuSMV公司 281份文件引用(1999–2024) 软件作者： 亚历山德罗·西马蒂；埃德蒙·克拉克；福斯托·金西格里亚（Fausto Giunchiglia）；马尔科·罗弗里；罗伯特·卡瓦达（Roberto Cavada）、米歇尔·多里加蒂（Michele Dorigatti）、亚历山德罗·马里奥蒂（Alessandro Mariotti），安德烈亚·米切利（Andrea Micheli）、塞尔吉奥·莫弗（Sergio Mover）、马可·罗维里（Marco Rover 相关软件： 自旋蛋白；CUDD；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
纸莎草纸-RT 1份文件引用(2022) 软件作者： 萨胡，斯涅哈；鲁思·肖尔（Ruth Schorr）；Medina-Bulo、Inmaculada；马蒂亚斯·瓦格纳 相关软件： 姆约利尼尔；OCRA；NuSMV… 主要字段： 计算机科学（68-XX）