刘熙;杨绍发;J.W.桑德斯。 设计补偿。 （英语） Zbl 1342.68136号 正式Asp。计算。 26，第4期，623-676（2014）。MSC公司：2010年第68季度 68纳米30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{X.Liu}等人，正式Asp。计算。26，第4号，623--676（2014；Zbl 1342.68136） 全文： 内政部
魏坤;吉姆·伍德科克;艾伦·伯恩斯 使用时间段对复杂系统中的时间行为进行建模。 （英语） 兹比尔1291.68271 形式方法系统。设计。 43，第3期，520-551（2013）。MSC公司：60年第68季度 68纳米30 03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Wei}等人，《形式方法系统》。设计。43，第3号，520--551（2013；Zbl 1291.68271） 全文： 内政部 链接
马丁·希尔舍尔;斯文·林杰;奥尔德罗格（Ernst-Rüdiger Olderog） 证明乡村道路交通操纵的安全性。 （英语） Zbl 1390.68429号 刘志明（主编）等，《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051196-212（2013）。MSC公司：60年第68季度 03B44号 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Hilscher}等人，Lect。注释计算。科学。8051、196--212（2013；Zbl 1390.68429） 全文： 内政部
约翰·德里克;格雷姆·史密斯 Z求精下的时序逻辑属性保持。 （英语） Zbl 1259.68032号 正式Asp。计算。 24，第3号，393-416（2012）。MSC公司：68纳米30 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{G.Smith}，正式Asp。计算。24，第3号，393--416（2012；Zbl 1259.68032） 全文： 内政部
付，郑;格雷姆·史密斯 规范变更下的属性转换。 （英语） Zbl 1267.68093号 正面。计算。科学。中国 5，第1期，第1-13页（2011年）。MSC公司：68纳米30 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit｛Z.Fu｝和\textit｛G.Smith｝，正面。计算。科学。中国5，No.1，1--13（2011；Zbl 1267.68093） 全文： 内政部
Kurki-Soonio，R。 增量和面向方面建模中的动作系统。 （英语） Zbl 1448.68131号 分布计算。 16，第2-3号，201-217（2003）。MSC公司：64岁以下 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Kurki-Soonio}，分布式计算。16、编号2--3、201-217（2003；Zbl 1448.68131） 全文： 内政部
伯恩哈德·斯特芬 统一模型。 （英语） Zbl 1498.68061号 Reischuk，Rüdiger（编辑）等人，STACS 97。第十四届计算机科学理论方面年度研讨会。1997年2月27日至3月1日，德国吕贝克。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1200，1-20（1997年）。MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{B.Steffen}，莱克特。注释计算。科学。1200，1--20（1997；Zbl 1498.68061） 全文： 内政部