VPM公司 4份文件引用(2005–2007) 软件作者: 达尼尔·瓦罗(Dániel Varró),安德拉斯·帕塔里察(András Pataricza) 相关软件: VIATRA2;进度;AGG… 主要字段: 计算机科学(68-XX)
旋转到葡萄 6篇文献引用(2005–2010) 软件作者: 阿拉斯泰尔·唐纳森;爱丽丝·米勒(Alice Miller);卡德,莫菲 相关软件: 自旋蛋白;鹦鹉螺;SymmSpin… 主要字段: 数学逻辑与基础(03-XX);群论与推广(20-XX);计算机科学(68-XX)
pyModelChecking(pyModel检查) 引用于2份文件(2021–2022) 软件作者: 卡萨格兰德,A 相关软件: eBCSgen;生物炭;libSBML… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)