@第{zbMATH06639831条，作者={van Glabbeek，Rob和H{\“o}fner，Peter和Portmann，Marius和Tan，Wee Lum}，标题={建模和验证{AODV}路由协议}，FJournal={分布式计算}，日志={Distrib.Comput.}，ISSN={0178-2770}，体积={29}，数字={4}，页码={279--315}，年份={2016年}，语言={英语}，DOI={10.1007/s00446-015-0262-7}，关键词={68M12,68Q60,68Q85}，zbMATH={6639831}，Zbl={1386.68019}}