@第{zbMATH06521249条，作者={Abdulla、Parosh Aziz和Delzanno、Giorgio和Rezine、Othmane和Sangnier、Arnaud和Traverso、Riccardo}，Title={临时网络协议的时间敏感模型的参数化验证}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={612}，页码={1--22}，年份={2016年}，语言={英语}，DOI={10.1016/j.tcs.2015.07.048}，关键词={68Q60，68M12，68Q45,68Q85}，zbMATH={6521249}，Zbl={1332.68137}}