CADP公司 116篇文献引用(1997–2023) 软件作者： 休伯特·加拉维；赫尔曼斯，霍尔格；CONVCS团队 相关软件： 自旋蛋白；mCRL2；LOTOS… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
CAESAR_解决 11份文件引用(2006–2022) 软件作者： Radu Mateescu公司 相关软件： CADP；到期未结；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…