巴哈雷赫巴德班;Wan Fokkink公司;Jan Friso,格鲁特;庞、军;范德波尔(Jaco van de Pol) 验证CRL和PVS中的滑动窗口协议。 (英语) Zbl 1101.68309号 正式Asp。计算。 17,第3期,342-388(2005). 引用于8文件 MSC公司: 68米10 计算机系统中的网络设计和通信 关键词:分支互模拟;进程代数;滑动窗口协议;规范;验证技术 软件:PVS公司 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}等人,正式Asp。计算。17,第3号,342--388(2005;Zbl 1101.68309) 全文: 内政部