罗布·范格拉贝克；彼得·霍夫纳；马吕斯·波特曼；Tan、Wee Lum 对AODV路由协议进行建模和验证。 （英语） Zbl 1386.68019号 分布计算。 29，第4号，279-315（2016）.MSC公司：68个M12 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek}等人，《分布计算》。29，第4号，279--315（2016；Zbl 1386.68019） 全文： 内政部 arXiv公司
蒂莫西·布鲁克；罗伯特·J·范格拉贝克。；彼得·霍夫纳 将网络协议的进程代数机械化。 （英语） Zbl 1356.68182号 J.汽车。推理 56，第3号，309-341（2016）.MSC公司：68吨15 68个M12 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛T.Bourke｝等人，J.Autom。推理56，No.3，309--341（2016；Zbl 1356.68182） 全文： 内政部 arXiv公司
蒂莫西·布鲁克；罗伯特·J·范格拉贝克。；彼得·霍夫纳 以合成方式显示网络协议的过程代数的不变性。 （英语） Zbl 1416.68153号 Klein，Gerwin（编辑）等，交互式定理证明。2014年7月14日至17日在奥地利维也纳举行的第五届国际会议，ITP 2014，作为维也纳逻辑夏季的一部分，VSL 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8558, 144-159 (2014).MSC公司：68吨15 68个M12 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Bourke}等人，Lect。注释计算。科学。8558，144--159（2014；Zbl 1416.68153） 全文： 内政部 arXiv公司