巴哈雷赫巴德班;Wan Fokkink公司;Jan Friso，格鲁特;庞、军;范德波尔（Jaco van de Pol） 在CRL和PVS中验证滑动窗口协议。 （英语） 兹比尔1101.68309 正式Asp。计算。 17，第3期，342-388（2005）.MSC公司：68M10个 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}等人，正式Asp。计算。17，第3号，342--388（2005；Zbl 1101.68309） 全文： 内政部
Wan Fokkink公司;Jan Friso，格鲁特;庞、军;巴哈雷赫巴德班;范德波尔（Jaco van de Pol） 验证\（\mu\）CRL中的滑动窗口协议。 （英语） Zbl 1108.68383号 Rattray，Charles（编辑）等人，代数方法论和软件技术。2004年7月12日至16日在英国苏格兰斯特灵举行的第十届国际会议，AMAST 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22381-9/pbk）。计算机科学讲义3116，148-163（2004）。MSC公司：68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink}等人，Lect。注释计算。科学。3116、148--163（2004年；Zbl 1108.68383） 全文： 内政部