亨宁·Günther；阿尔芬斯·拉阿尔曼；安娜·索科洛娃；乔治·威森巴赫 模型检查并发软件的动态缩减。 （英语） Zbl 1484.68102号 Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 246-265 (2017).MSC公司：60年第68季度 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{H.Günther}等人，Lect。注释计算。科学。10145246--265（2017；Zbl 1484.68102） 全文： 内政部 arXiv公司
斯蒂芬·西格尔（Stephen F.Siegel）。 透明的部分订单减少。 （英语） Zbl 1255.68097号 形式方法系统。设计。 40，第1期，第1-19页（2012年）. 审核人：马丁·兰格（卡塞尔） MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.F.Siegel}，形式方法系统。设计。40，编号1，1--19（2012年；Zbl 1255.68097） 全文： 内政部
阿扎德法尔赞；何塞·梅塞盖尔 编程语言重写语义的部分降阶。 （英语） Zbl 1279.68207号 Denker，Grit（编辑）等人，第六届重写逻辑及其应用国际研讨会论文集（WRLA 2006），奥地利维也纳，2006年4月1日至2日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》176，第4期，61-78（2007）。MSC公司：60年第68季度 68甲15 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Farzan}和\textit{J.Meseguer}，电子。注释Theor。计算。科学。176，第4号，61--78（2007；Zbl 1279.68207） 全文： 内政部
Thuan Quang Huynh；阿比克·罗伊乔杜里 内存模型敏感字节码验证。 （英语） Zbl 1131.68061号 形式方法系统。设计。 31，第3期，281-305（2007）.MSC公司：60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{T.Q.Huynh}和\textit{A.Roychoudhury}，《形式与方法系统》。设计。31，第3号，281--305（2007；Zbl 1131.68061） 全文： 内政部