亚瑟·Mę滑雪;沃伊切赫·彭泽克;Grzegorz罗岑贝格 模型检查反应系统的时间特性。 （英语） Zbl 1387.68167号 信息科学。 313, 22-42 (2015).MSC公司：60年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Męski}等人，《信息科学》。313、22-42（2015年；Zbl 1387.68167） 全文： 内政部
沃伊切赫·贾姆罗加;沃伊切赫·彭泽克 多代理系统的规范和验证。 （英语） Zbl 1250.68190号 Nick Bezhanishvili等人，《逻辑和计算讲座》。ESSLLI 2010，丹麦哥本哈根，2010年8月，ESSLLI 2011，斯洛文尼亚卢布尔雅那，2011年8月。精选课堂讲稿。柏林：施普林格出版社（ISBN 978-3-642-31484-1/pbk）。计算机科学课堂讲稿7388，210-263（2012）。MSC公司：60年第68季度 03B45号 第68页第27页 68T42型 91A99型 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}和\textit{W.Penczek}，莱克特。注释计算。科学。7388、210-263（2012年；Zbl 1250.68190） 全文： 内政部
M.卡普扎克。;彭泽克，W。 一种基于SAT的方法，用于交替时间-时间认知逻辑的无界模型检查。 （英语） Zbl 1072.03012号 合成 142，第2期，203-227（2004）.MSC公司：03B42号 03B44号 第68页第27页 03B35型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kacprzak}和\textit{W.Penczek}，综合142，第2期，203-227（2004；Zbl 1072.03012） 全文： 内政部
罗伯·格思;鲁德·柯伊伯;多龙·贝利德;沃伊切赫·彭泽克 分支时间逻辑模型检查的部分顺序方法。 （英语） Zbl 1045.68588号 Inf.计算。 150，第2期，第132-152页（1999年）.MSC公司：60年第68季度 03B44号 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gerth}等人，《信息计算》。150，第2号，132--152（1999；Zbl 1045.68588） 全文： 内政部 链接
沃伊切赫·彭泽克;Stanisław，Ambroszkiewicz 因果知识公式的模型检查。 （英语） Zbl 0966.68014号 Stefanescu，Gheorghe（编辑），WDS’99。分布式系统研讨会。1999年9月2日至3日，罗马尼亚拉西FCT’99卫星研讨会。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。28、19页，仅电子版（1999年）。MSC公司：64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}和\textit{S.Ambroszkiewicz}，位于：WDS'99中。分布式系统研讨会。1999年9月2日至3日，罗马尼亚拉西FCT’99卫星研讨会。阿姆斯特丹：爱思唯尔。第19页（1999年；Zbl 0966.68014）
沃伊切赫·彭泽克 关于迹系统上命题时间逻辑的不可判定性。 （英语） 兹比尔0771.03006 信息处理。莱特。 第3期第43页，第147-153页（1992年）. 审核人：F.V.Burstein（墨尔本） MSC公司：03B45号 2010年第68季度 03B25号 03天35分 03B80号 12升05 PDF格式BibTeX公司 XML格式引用 \textit｛W.Penczek｝，信息处理。莱特。43，第3号，147--153（1992；Zbl 0771.03006） 全文： 内政部