道具 17篇文献引用(2015–2022) 软件作者: Dehnert,C.,Junges,S.,Jansen,N.,Corzilius,F.,Volk,M.,Bruintjes,H.,Katoen,J.-P.,Al braháM,E。 相关软件: 棱镜;风暴;参数… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…