保罗·盖纳;斯文·林杰;克莱尔·迪克森;乌尔里希·赫斯塔特;迈克尔·费希尔 分布式同步的多尺度验证。 (英语) Zbl 1506.68009号 形式方法系统。设计。 55,第3期,171-221(2020).MSC公司:64岁以下 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Gainer}等人,《表格方法系统》。设计。55,第3号,171--221(2020;Zbl 1506.68009) 全文: 内政部 arXiv公司
杨文伦;傅敏岳 无线传感器网络中基于滤波器的时钟同步协议。 (英语) Zbl 1432.93311号 亚洲J.控制 21,第3期,1389-1403(2019).MSC公司:93天50分 93B70型 93E11号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.Yang}和\textit{M.Fu},亚洲J.Control 21,第3期,1389-1403(2019;兹bl 1432.93311) 全文: 内政部
奥坎·桑库尔;帕特里夏·鲍耶;尼古拉斯·马基 缩小时间自动机。 (英语) Zbl 1285.68090号 Inf.计算。 234, 107-132 (2014).MSC公司:65年第68季度 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Sankur}等人,《信息计算》。234107--132(2014年;Zbl 1285.68090) 全文: 内政部 链接
周武能;牟金平;王天波;吉川;方建安 在相同的休眠-唤醒方法下实现分布式无线传感器网络的目标同步。 (英语) Zbl 1299.90071号 J.富兰克林研究所。 349,第6期,2004-2018(2012).MSC公司:90B15号机组 90B18号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.Zhou}等人,J.Franklin Inst.349,No.6,2004-2018(2012;Zbl 1299.90071) 全文: 内政部