沃伊切赫，詹罗加；沃伊切赫·彭泽克 多代理系统的规范和验证。 （英语） Zbl 1250.68190号 Nick Bezhanishvili等人，《逻辑和计算讲座》。ESSLLI 2010年丹麦哥本哈根，2010年8月，ESSLLI2011年，斯洛文尼亚卢布尔雅那，2011年8月。精选课堂讲稿。柏林：施普林格出版社（ISBN 978-3-642-31484-1/pbk）。计算机科学课堂讲稿7388，210-263（2012）。MSC公司：60年第68季度 03B45号 68T27型 68T42型 91A99型 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}和\textit{W.Penczek}，莱克特。注释计算。科学。7388、210-263（2012年；Zbl 1250.68190） 全文： 内政部
沃伊切赫·彭泽克；阿加塔·波罗拉 时间Petri网和时间自动机的验证进展。时间逻辑方法。 （英语） Zbl 1110.68087号 计算智能研究20.柏林：施普林格出版社（ISBN 3-540-32869-6/hbk）。xxxii，257页。(2006). 审核人：Ryszard Janicki（汉密尔顿） MSC公司：68问题85 65年第68季度 60年第68季度 03B44号 68号30 68-02 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}和\textit{A.Półrola}，时间Petri网和时间自动机验证的进展。一种时间逻辑方法。柏林：施普林格出版社（2006；Zbl 1110.68087） 全文： 内政部
沃伊切赫·彭泽克；阿加塔·波罗拉 时间Petri网和时间自动机中时间属性的规范和模型检查。 （英语） Zbl 1094.68067号 Cortadella，Jordi（编辑）等人，《Petri网的应用和理论》，2004年。2004年6月21日至25日，第25届国际会议，意大利博洛尼亚ICATPN 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22236-7/pbk）。计算机科学课堂讲稿3099，37-76（2004）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}和\textit{A.Półrola}，莱克特。注释计算。科学。3099、37--76（2004年；Zbl 1094.68067） 全文： 内政部
沃纳、博埃纳；安杰伊·兹布热兹尼；沃伊切赫·彭泽克 通过SAT检查时间自动机的可达性属性。 （英语） Zbl 1111.68548号 芬丹。通知。 55，第2期，223-241（2003）.MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Woźna}等人，Fundam。通知。55，第2号，223--241（2003；Zbl 1111.68548）
沃伊切赫，彭泽克；阿莱西奥·洛穆西奥 通过有界模型检查验证多智能体系统的认知属性。 （英语） Zbl 1111.68512号 芬丹。通知。 55，第2期，167-185（2003）.MSC公司：60年第68季度 68问题85 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}和\textit{A.Lomuscio}，Fundam。通知。55，第2号，167--185（2003；Zbl 1111.68512）
沃伊切赫·彭泽克；沃纳、波ẓ埃纳；安杰伊·兹布热兹尼 面向TCTL通用片段的有界模型检查。 （英语） Zbl 1278.68192号 Damm，Werner（编辑）等人，《实时和容错系统中的形式化技术》。2002年9月9日至12日，第七届国际研讨会，FTRTFT 2002，由IFIP WG 2.2联合主办，德国奥尔登堡。诉讼程序。柏林：施普林格出版社（ISBN 3-540-44165-4/pbk）。计算机科学课堂讲稿2469265-288（2002）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}等人，Lect。注释计算。科学。2469265--288（2002年；Zbl 1278.68192） 全文： 内政部
沃伊切赫·彭泽克；沃纳、博埃纳；安杰伊·兹布热兹尼 CTL通用片段的有界模型检验。 （英语） Zbl 1052.68087号 芬丹。通知。 51，编号1-2，135-156（2002）.MSC公司：60年第68季度 68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}等人，Fundam。通知。51，编号1--2，135-156（2002；Zbl 1052.68087）