TREX公司 39篇文献引用(2001–2021) 软件作者: Aurore Annichini;艾哈迈德·博阿贾尼;米哈埃拉·西希雷亚努 相关软件: 快速;高科技;LASH… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
模仿者 34份文件引用(1996–2023) 软件作者: 埃蒂安·安德烈 相关软件: Uppaal;高科技;PPL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…