奥利维·蓬西尼;Fédéle,卡琳;伊曼纽尔·库纳利斯 将命令式程序重写为逻辑方程式。 (英语) Zbl 1082.68044号 科学。计算。程序。 56,第3期,363-401(2005).MSC公司:2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{O.Ponsini}等人,科学。计算。程序。56,第3号,363--401(2005;Zbl 1082.68044) 全文: 内政部
科尔泰丽莎,V。;德尔·戈博,D。;谢列舍夫斯基,M。;J·德斯哈奈斯。;A.米利。 系统容错的关系特征。 (英语) Zbl 1082.68008号 科学。计算。程序。 56,第3期,343-361(2005).MSC公司:68米15 PDF格式BibTeX公司 XML格式引用 \textit{V.Cortellessa}等人,科学。计算。程序。56,第3号,343--361(2005;Zbl 1082.68008) 全文: 内政部
J.F.格罗特。;威姆斯,T.A.C。 使用数据进行模型检查。 (英语) Zbl 1082.68067号 科学。计算。程序。 56,第3期,251-273(2005).MSC公司:第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{T.A.C.Willemse},科学。计算。程序。56,第3号,251--273(2005;Zbl 1082.68067) 全文: 内政部 链接