@第{zbMATH06359035条，作者={Arnaud，Mathilde and Cortier，V{\ee}ronique and Delaune，St{\ee}phanie}，标题={建模和验证临时路由协议}，FJournal={信息与计算}，日志={Inf.Comput.}，ISSN={0890-5401}，体积={238}，页码={30--67}，年份={2014}，语言={英语}，DOI={10.1016/j.ic.2014.07.004}，关键词={68M12,94A60}，zbMATH={6359035}，Zbl={1360.68199}}