微CRL 24篇文献引用(2001–2022) 软件作者： 斯特凡·布洛姆；Wan Fokkink；Groote，Jan Friso；伊扎克·范·朗格沃尔德；伯特·利瑟 相关软件： Uppaal；CADP；旋转… 主要字段： 数学逻辑与基础（03-XX）；结合环与代数（16-XX）；计算机科学（68-XX）…
LTSmin公司 25篇文献引用(2011–2023) 软件作者： 阿尔芬斯·拉阿尔曼（Alfons Laarman）；雅各布·范德波尔；迈克尔·韦伯；斯特凡·布洛姆 相关软件： 自旋蛋白；Uppaal；迪文尼… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
玛丽亚 19份文件引用(2000–2021) 软件作者： M“akel”a，马可 相关软件： LoLA；Uppaal；M网络… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；生物学和其他自然科学（92-XX）…
XTL公司 4份文件引用（2003年至2017年） 软件作者： Garavel，H.、Mateescu，R。 相关软件： CADP；LNT2LOTOS公司；Exp.打开… 主要字段： 计算机科学（68-XX）
PIC2LNT公司 2份文件引用（2013年） 软件作者： Radu Mateescu；格温·萨拉恩 相关软件： 电子LOTOS；ProVerify；CADP… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
WiCcA公司 2份文件引用(2011–2017) 软件作者： 詹妮弗·兰泰尔（Jennifer Lantair）；巴布亚州索波辛斯基 相关软件： – 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）