电子LOTOS 23篇文献引用(1998–2016) 软件作者: 罗伯特·克拉克;安娜·莫雷拉 相关软件: CADP;自旋蛋白;LOTOS… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
Exp.打开 12份文件引用(2006–2023) 软件作者: 弗雷德里克·朗 相关软件: CADP;CAESAR_SOLVE公司;M-TREE… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-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)