范德波尔（Jaco van de Pol）（编辑）；迈克尔·韦伯（编辑） 模型检查软件。2010年9月27日至29日，第17届国际SPIN研讨会，荷兰恩舍德。诉讼程序。 （英语） Zbl 1198.68075号 计算机科学课堂讲稿6349.柏林：施普林格出版社（ISBN 978-3-642-16163-6/pbk）。x、 263页。(2010).MSC公司：68-06 68号30 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.van de Pol}（编辑）和\textit{M.Weber}（编），模型检查软件。2010年9月27日至29日，第17届国际SPIN研讨会，荷兰恩舍德。诉讼程序。柏林：施普林格出版社（2010；Zbl 1198.68075） 全文： 内政部
朱迪·罗米恩（编辑）；格雷姆·史密斯（编辑）；范德波尔（Jaco van de Pol）（编辑） 第五届综合正式方法会议（IFM 2005）附属的博士研讨会论文集，荷兰埃因霍温，2005年11月29日。 （英语） Zbl 1276.68029号 理论计算机科学电子笔记191.阿姆斯特丹：爱思唯尔。113页。，仅电子版（2007年）。MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Romijn}（ed.）等人，第五届综合形式方法会议（IFM 2005）附属博士研讨会论文集，荷兰埃因霍温，2005年11月29日。阿姆斯特丹：爱思唯尔（2007；Zbl 1276.68029） 全文： 链接
M.勒克。（编辑）；范德波尔，J。（编辑） 2005年7月10日，葡萄牙里斯本，第四届平行和分布式验证方法国际研讨会会议记录（PDMC 2005）。 （英语） Zbl 1272.68030号 理论计算机科学电子笔记135号，第2条。阿姆斯特丹：爱思唯尔。80页。，仅电子版（2006年）。MSC公司：68-06 60年第68季度 68宽15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Luecker}（编辑）和textit{J.van de Pol}（编），第四届平行和分布式验证方法国际研讨会论文集（PDMC 2005），葡萄牙里斯本，2005年7月10日。阿姆斯特丹：Elsevier（2006；Zbl 1272.68030） 全文： 链接
朱迪·罗米恩（编辑）；格雷姆·史密斯（编辑）；范德波尔（Jaco van de Pol）（编辑） 集成形式化方法。2005年11月29日至12月2日在荷兰埃因霍温举行的2005年国际单项体育联合会第五届国际会议。诉讼程序。 （英语） Zbl 1122.68011号 计算机科学课堂讲稿3771.柏林：施普林格出版社（ISBN 978-3-540-30492-0/pbk）。xi，第407页。(2005).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Romijn}（ed.）等人，《集成形式化方法》。2005年11月29日至12月2日在荷兰埃因霍温举行的第五届国际会议。诉讼程序。柏林：施普林格出版社（2005；Zbl 1122.68011） 全文： 内政部