AMT公司 12份文件引用(2008–2018) 软件作者： D.尼科维奇，O.马勒 相关软件： Uppaal；SpaceEx；棱镜… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
ASDeX公司 1份文件引用(2018) 软件作者： 马明宇（Mingyu Ma）、拉尔斯·赫德里奇（Lars Hedrich）、克里斯汀·斯波勒（Christian Sporrer） 相关软件： MiniSat；通过；AMT… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）