劳拉·博泽利;穆拉诺,阿尼洛;阿德里亚诺·佩隆 下压模块检查。 (英语) Zbl 1209.68312号 形式方法系统。设计。 36,第1期,65-95(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《形式方法系统》。设计。36,第1号,65--95(2010;Zbl 1209.68312) 全文: 内政部
陈晓芳;杨瑜(Yang,Yu);加内什·戈帕拉克里什南;周庆孙 形式化验证分层缓存一致性协议安全属性的有效方法。 (英语) Zbl 1209.68314号 形式方法系统。设计。 36,第1期,37-64(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}等人,《形式方法系统》。设计。36,编号1,37-64(2010年;Zbl 1209.68314) 全文: 内政部
克里斯特尔·拜尔;布,露西娅;Boudewijn R.哈维尔科特。;霍尔格·赫尔曼斯;Joost-Pieter卡托恩 通过马尔可夫报酬模型的模型检查进行性能评估。 (英语) Zbl 1209.68309号 形式方法系统。设计。 36,第1期,1-36页(2010年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《形式方法系统》。设计。36,第1号,1-36(2010;Zbl 1209.68309) 全文: 内政部 链接