JFLAP公司 14篇文献引用(2002–2023) 软件作者: Rodger S、Finley T 相关软件: 自旋蛋白;GeoWin;FAUST… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
jMoped公司 10篇文献引用(2002–2021) 软件作者: 德jvuth的Suwimonteerabbth;斯特凡·施温(Stefan Schwoon);哈维尔·埃斯帕尔扎 相关软件: 贝博普;自旋蛋白;SLAM… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
C-SHORe公司 6篇文献引用(2013–2017) 软件作者: 克里斯托弗·布劳德本特(Christopher Broadbent);阿诺德·卡拉约尔;黑格,马修;奥利维尔·塞雷 相关软件: AProVE;廷巴克;MoCHi… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
焊接工艺数据系统++ 5份文件引用(2005–2023) 软件作者: Balakrishnan,G。;代表,T。;基德,N。;Lal,A。;Lim,J。;梅尔斯基,D。;Gruian,R。;Yong,S。;Chen,C.-H。;Teitelbaum,T。 相关软件: 雅克斯塔布;LTL2BA;CBMC… 主要字段: 计算机科学(68-XX)
轻便摩托车 3份文件引用(2009–2017) 软件作者: Stefan Kiefer、Stefan Schwoon、Dejvuth Suwimonterabuth 相关软件: jMoped公司;贝博普;旋转… 主要字段: 计算机科学(68-XX)