×

找到3个软件包(结果1-3)

电子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)

筛选结果依据…