法拉纳克·海达尔;朱利安·施马耳茨;Vaandrager,Frits公司 无线传感器网络时钟同步协议分析。 (英语) Zbl 1307.68009号 西奥。计算。科学。 413,第1期,87-105(2012).MSC公司:68米14 68M10个 68个M12 第68季度第45季度 60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{F.Heidarian}等人,Theor。计算。科学。413,编号1,87-105(2012年;兹bl 1307.68009) 全文: 内政部
阿希姆·D·布鲁克。;沃尔夫,伯克哈特 使用理论形态来实现形式化方法工具。 (英语) Zbl 1023.68654号 Geuvers,Herman(编辑)等人,《证明和程序的类型》。2002年4月24日至28日,荷兰卑尔根达尔,TYPES 2002国际研讨会。精选论文。柏林:斯普林格。莱克特。注释计算。科学。2646, 59-77 (2003).MSC公司:第68页第15页 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Brucker}和\textit{B.Wolff},莱克特。注释计算。科学。2646、59--77(2003年;Zbl 1023.68654) 全文: 链接
安东·库切拉;彼得·扬查尔 无限状态系统的等价性检验:技术和结果。 (英语) 兹比尔1278.68218 Grosky,William I.(编辑)等人,SOFSEM 2002:信息学理论与实践。2002年11月22日至29日,捷克共和国米洛维,第29届信息学理论和实践趋势会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-00145-X/pbk)。计算机科学课堂讲稿2540,41-73(2002)。MSC公司:68问题85 2017年第68季度 第68季度第45季度 60年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{A.Kučera}和\textit{P.Jančar},莱克特。注释计算。科学。2540、41-73(2002年;Zbl 1278.68218) 全文: 内政部
马蒂亚斯·韦伯 德瓦元微积分的定义和基本性质。 (英语) Zbl 0783.68031号 正式Asp。计算。 5,第5号,391-431(1993). 审核人:M.韦伯 MSC公司:68N99型 68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Weber},正式Asp。计算。5,第5号,391--431(1993;Zbl 0783.68031) 全文: 内政部