CADP公司 116篇文献引用(1997–2023) 软件作者： 休伯特·加拉维；霍尔格赫尔曼斯；CONVCS团队 相关软件： 自旋蛋白；mCRL2；LOTOS… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
LNT2LOTOS公司 7份文件引用(2012–2022) 软件作者： David Champelovier、Xavier Clerc、Hubert Garavel、Yves Guerte、Frédéric Lang、Christine McKinty、Vincent Powazny、Wendelin Serwe、Gideon Smeding 相关软件： CADP；自旋蛋白；Exp.打开… 主要字段： 计算机科学（68-XX）