棱镜 498份文件引用(2001–2023) 软件作者： 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 相关软件： MRMC；风暴；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
PLINI公司 在0个文档中引用 软件作者： 阿尔巴内塞，马西米利亚诺；马蒂亚斯·布罗切勒；格兰特，约翰；Martinez，Maria Vanina；苏布拉曼尼亚，V.S。 相关软件： – 主要字段： –