巴哈雷赫巴德班;Wan Fokkink公司;Jan Friso,格鲁特;庞、军;范德波尔(Jaco van de Pol) 验证CRL和PVS中的滑动窗口协议。 (英语) Zbl 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) 全文: 内政部
Jan Friso,格鲁特;范德波尔(Jaco van de Pol) 使用部分汇流的状态空间约简。 (英语) Zbl 0996.68122号 尼尔森、莫根斯(编辑)等人,《2000年计算机科学的数学基础》。2000年8月28日至9月1日在斯洛伐克布拉迪斯拉发举行的2000年MFCS第25届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1893, 383-393 (2000).MSC公司:68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{J.van de Pol},莱克特。注释计算。科学。1893,383--393(2000;Zbl 0996.68122)
Jan Friso,格鲁特;范德波尔(Jaco van de Pol) 等式二元决策图。 (英语) Zbl 0988.68590号 Parigot,Michel(编辑)等人,《编程逻辑和自动推理》。2000年11月6日至10日,第七届国际会议,LPAR2000,法国留尼旺岛。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1955, 161-178 (2000).MSC公司:68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{J.van de Pol},莱克特。注释计算。科学。1955年,161-178(2000年;Zbl 0988.68590)