莱安德罗·戈麦斯；亚历山大·马德拉；巴博萨、路易斯·索亚雷斯 的语义和逻辑模糊雅顿语法. （英语） Zbl 1499.03023号 软计算。 25，第9号，6789-6805（2021）.MSC公司：03B70号 03B52号 60年第68季度 68问题85 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{L.Gomes}等人，《软计算》。25，编号9，6789--6805（2021；Zbl 1499.03023） 全文： 内政部
内特·福斯特；德克斯特·科赞；康斯坦蒂诺斯·马穆拉斯；马克·雷特布拉特；亚历山德拉·席尔瓦 概率NetKAT。 （英语） Zbl 1335.68027号 Peter Thiemann（编辑），《编程语言和系统》。2016年4月2日至8日，作为欧洲软件理论与实践联合会议的一部分，在荷兰埃因霍温举行了第25届欧洲编程研讨会，即2016年ESOP。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-49497-4/pbk；978-3-562-49498-1/电子书）。计算机科学讲座笔记9632282-309（2016）。MSC公司：68甲15 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Foster}等人，Lect。票据计算。科学。9632，282--309（2016；Zbl 1335.68027） 全文： 内政部
马尼省斯瓦米纳坦；Joost-Pieter卡托恩；奥尔德罗格，恩斯特·吕迪格 用于随机分布算法的分层推理。 （英语） 兹比尔1259.68114 正式Asp。计算。 24，第4-6号，477-496（2012）.MSC公司：65年第68季度 68瓦20 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{M.Swaminathan}等人，正式Asp。计算。24、编号4--6、477--496（2012；Zbl 1259.68114） 全文： 内政部
Höfner，P。；罗布·范格拉贝克；伊恩·海耶斯 前言。 （英语） Zbl 1259.01011号 正式Asp。计算。 24，No.4-6，417-422（2012）.MSC公司：01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}等人，正式Asp。计算。24、编号4--6、417--422（2012；Zbl 1259.01011） 全文： 内政部
A.K.McIver。；C.C.摩根。 基于代理的安全协议中的组合优化。 （英语） Zbl 1245.68065号 正式Asp。计算。 23，第6号，711-737（2011）.MSC公司：68号30 94A60型 68个M12 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.K.McIver}和\textit{C.Morgan}，正式Asp。计算。23，第6号，711--737（2011；Zbl 1245.68065） 全文： 内政部
彼得·霍夫纳；乔治·斯特鲁斯；杰夫·萨特克利夫 自动验证精炼法。 （英语） Zbl 1184.68463号 安。数学。Artif公司。智力。 55，编号1-2，35-62（2009）.MSC公司：68吨15 03G25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}等人，《数学年鉴》。Artif公司。智力。55，编号1--2，35-62（2009；Zbl 1184.68463） 全文： 内政部 链接
朱尔斯·德沙奈斯；乔治·斯特鲁斯 近半环族的域公理。 （英语） Zbl 1170.68514号 Meseguer，José（编辑）等人，代数方法论和软件技术。2008年7月28日至31日在美国伊利诺伊州乌尔班纳举行的2008年AMAST第12届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79979-5/pbk）。计算机科学课堂讲稿5140330-345（2008）。MSC公司：60年第68季度 2016年60月 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}和\textit{G.Struth}，莱克特。票据计算。科学。5140330-345（2008年；Zbl 1170.68514） 全文： 内政部
A.K.McIver。；冈萨利亚，C。；科恩，E。；C.C.摩根。 使用概率Kleene代数pKA进行协议验证。 （英语） Zbl 1148.68034号 J.日志。阿尔盖布。程序。 76，第1号，90-111（2008）.MSC公司：60年第68季度 68个M12 64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.K.McIver}等人，J.Log。阿尔盖布。程序。76，第1号，90--111（2008；Zbl 1148.68034） 全文： 内政部