彼得罗·森恰雷利;丹尼尔·戈拉;伊万诺·萨尔沃 耗损渠道：网络设计中的动态、行为和效率。 （英语） Zbl 1423.68043号 学报信息。 56，第5号，405-431（2019）.MSC公司：68M10个 05时21分 68个M12 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.Cenciarelli}等人，《信息学报》56，第5期，第405--431页（2019年；Zbl 1423.68043） 全文： 内政部
拉诺特，拉格罗;马西莫·梅罗 物联网的语义理论。 （英语） Zbl 1388.68013号 Inf.计算。 259，第1部分，72-101（2018）.MSC公司：68米11 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}和\textit{M.Merro}，Inf.Compute。259，第1部分，72--101（2018；Zbl 1388.68013） 全文： 内政部 arXiv公司
刘，Si;Ölveczky、Peter Csaba;何塞·梅塞格尔 在Real-Time Maude中对移动自组网进行建模和分析。 （英语） 兹比尔1356.68123 J.日志。阿尔盖布。方法计划。 85，第1号，第1部分，34-66（2016）.MSC公司：2012年第68季度 68M10个 68个M12 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Liu}等人，J.Log。阿尔盖布。方法计划。85，第1号，第1部分，34--66（2016；Zbl 1356.68123） 全文： 内政部
刘，Si;Ölveczky、Peter Csaba;何塞·梅塞格尔 使用实时Maude对MANET中的领导人选举进行形式化分析。 （英语） Zbl 1454.68014号 De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·威辛（Martin Wirsing）于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆：斯普林格。莱克特。注释计算。科学。8950, 231-252 (2015).MSC公司：68个M12 64岁以下 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Liu}等人，Lect。注释计算。科学。8950231--252（2015；Zbl 1454.68014） 全文： 内政部