污水处理厂 46篇文献引用(2007–2023) 软件作者： 维杰·加内什（Vijay Ganesh）；特雷弗·汉森；马特·索斯；Dan Liew；Ryan Govostes；安德鲁·琼斯；等。 相关软件： z3；投掷；可爱… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
OFMC公司 25篇文献引用(2005–2022) 软件作者： 塞巴斯蒂安·莫德谢姆，卢卡·维甘诺 相关软件： AVISPA；NRL；Casper… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
宝塔 12份文件引用(2007–2015) 软件作者： Wirsing，Martin；Denker，砂砾；卡罗琳·塔尔科特；安迪·波乔（Andy Poggio）；Briesemeister琳达 相关软件： 莫德；科莱姆；重新设置（amp；E）… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
瑞士法郎 4份文件引用(2002–2018) 软件作者： Christian Holzbaur、Tom Schrijvers、Tom Schrijves 相关软件： 哈斯克尔；SCIFF；ACORDA… 主要字段： 计算机科学（68-XX）
HLIO公司 3份文件引用(2015–2019) 软件作者： 巴勃罗，布瑞斯；Vytiniotis，Dimitrios；亚历杭德罗·鲁索 相关软件： 哈斯克尔；流量凸轮；LOLA… 主要字段： 计算机科学（68-XX）
铁视图 在0个文档中引用 软件作者： Md Motiur Rahman、Tahmina Tasnim Nahar、Dookie Kim 相关软件： OpenSees；构建-X；STKO… 主要字段： –