MRMC公司 71篇文献引用（2006年-2023年） 软件作者： Joost-Pieter Katoen；亚琛工业大学 相关软件： 棱镜；Uppaal；CADP… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
GreatSPN 1.7 38篇文献引用(1995–2012) 软件作者： Chiola，G。；弗朗西斯科尼斯，G。；盖塔，R。；里巴多，M。 相关软件： GreatSPN；SPNP；CADP… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
水瓶 3份文件引用(2022–2023) 软件作者： Kirkby，J.L。；Nguyen，Dang H。；Nguyen，Duy；Nhu N.阮。 相关软件： 特别提款权 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）