吕迪格·埃勒斯;伯恩德·芬克贝纳 对称合成。 （英语） Zbl 1491.68109号 Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第26条，第13页（2018年）。MSC公司：60年第68季度 2007年7月68日 64岁以下 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers}和\textit{B.Finkbeiner}，LIPIcs——莱布尼茨国际程序。通知。93，第26条，第13页（2018；Zbl 1491.68109） 全文： 内政部 arXiv公司
方，易;肯尼思·麦克米兰。;阿米尔·普努利;Lenore D.扎克。 无形不变量的活力。 （英语） Zbl 1225.68114号 Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学讲义4229，356-371（2006）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Fang}等人，Lect。注释计算。科学。4229356--371（2006；Zbl 1225.68114） 全文： 内政部
勒诺尔·扎克;阿米尔·普努利 借助参数化系统进行模型检查和抽象（调查）。 （英语） Zbl 1072.68069号 计算。语言系统。结构。 30，第3-4139-169号（2004）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Zuck}和\textit{A.Pnueli}，计算。语言系统。结构。30，编号3--4，139-169（2004；Zbl 1072.68069） 全文： 内政部
阿米尔·普努利;勒诺尔·扎克 多进程概率协议的验证。 （英语） Zbl 0598.68019号 分布计算。 1, 53-72 (1986).MSC公司：第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pnueli}和\textit{L.Zuck}，分布计算。1、53--72（1986年；Zbl 0598.68019） 全文： 内政部