苏米特·库马尔·贾阿;克里斯托弗·詹姆斯·兰米德 使用统计模型检查和抽象求精对生化系统随机模型进行综合和不可行性分析。 (英语) Zbl 1211.92021号 西奥。计算。科学。 412,第21号,2162-2187(2011).MSC公司:92C40型 92立方厘米 60J20型 62页第10页 65立方厘米20 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Jha}和\textit{C.J.Langmead},Theor。计算。科学。412,第21号,2162--2187(2011;Zbl 1211.92021) 全文: 内政部
保罗·祖利亚尼;安德烈·普拉泽;埃德蒙·克拉克(Edmund M.Clarke)。 贝叶斯统计模型检查及其在Simulink/Stateflow验证中的应用。 (英语) Zbl 1361.68154号 第13届ACM混合系统国际会议论文集:计算与控制,HSCC 2010,瑞典斯德哥尔摩,2010年4月12-16日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-955-8)。243-252 (2010).MSC公司:第68季度第60季度 62立方厘米10 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Zuliani}等人,in:第13届ACM混合系统国际会议论文集:计算与控制,HSCC 2010,瑞典斯德哥尔摩,2010年4月12-16日。纽约州纽约市:计算机协会(ACM)。243-252(2010年;Zbl 1361.68154) 全文: 内政部
曼弗雷德·杰格 关于公平性和随机性。 (英语) Zbl 1170.93026号 Inf.计算。 207,第9期,909-922(2009).MSC公司:93E03型 62A01型 PDF格式BibTeX公司 XML格式引用 \textit{M.Jaeger},信息计算。207,第9号,909--922(2009;Zbl 1170.93026) 全文: 内政部
Jean-Paul Doignon;安德烈·杜坎普;Jean-Claude Falmagne 关于可实现的双序和关系的双序维。 (英语) Zbl 0562.92018号 数学杂志。精神病。 28, 73-109 (1984). 审核人:F.V.布什廷 MSC公司:91D99型 03E20型 第62页,共15页 62第25页 06年06月06日 06A99号 91电子99 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Doignon}等人,《数学杂志》。精神病。28、73——109(1984年;Zbl 0562.92018) 全文: 内政部