马尔顿哈伊杜;佩特拉·霍佐娃;劳拉·科瓦奇;贾尔斯·里格尔;安德烈·沃伦科夫 感应饱和。 （英语） Zbl 1528.68391号 Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 306-322 (2022).MSC公司：68伏15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hajdu}等人，Lect。注释计算。科学。13660306--322（2022；Zbl 1528.68391） 全文： 内政部
维克托·马格伦;乔治·康斯坦丁德斯;阿拉斯泰尔·唐纳森 使用半定编程证明舍入误差界。 （英语） Zbl 1380.65084号 ACM事务处理。数学。柔和。 第43条第4款第34条第31页（2017年）.MSC公司：65克50 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{V.Magron}等人，ACM Trans。数学。柔和。43，第4号，第34条，第31页（2017年；Zbl 1380.65084） 全文： 内政部 arXiv公司
贾斯敏·克里斯蒂安·布兰切特;Böhme，萨沙;马蒂亚斯·弗勒里;斯莫尔卡、斯蒂芬·朱尔夫;艾伯特·斯特克迈尔 机器生成证明的半不可分辨Isar证明。 （英语） Zbl 1356.68178号 J.汽车。推理 56，第2期，155-200（2016）.MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Blanchette}等人，J.Autom。推理56，No.2，155--200（2016；Zbl 1356.68178） 全文： 内政部 哈尔
斯坦利·巴克;波戈莫洛夫，谢尔盖;泰勒·T·约翰逊。 HYST：混合自动机模型的源代码转换和翻译工具。 （英语） Zbl 1364.68244号 第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-3433-4）。128-133（2015年）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bak}等人，in：第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）。128-133（2015年；Zbl 1364.68244） 全文： 内政部
西蒙·富尔维奥·罗里尼;罗伯特·布鲁托梅索;娜塔莎·莎莉吉娜;阿里亚克西·齐托维奇 压缩和插值的防分辨率转换。 （英语） Zbl 1317.68123号 形式方法系统。设计。 45，第1期，1-41页（2014年）.MSC公司：60年第68季度 03C40号 20层03 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.F.Rollini}等人，《形式方法系统》。设计。45，第1号，1--41（2014；Zbl 1317.68123） 全文： 内政部 arXiv公司
吴文昌;Jean-Pierre塔宾;蒂埃里·戈蒂埃;保罗·勒格尔尼克;洛依茨贝斯纳德 向经过认证的编译器进行同步数据流程序转换的正式验证。 （英语） Zbl 1425.68061号 前面。计算。科学。 7，第5期，598-616（2013）.MSC公司：68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.C.Ngo}等人，前。计算。科学。7，第5号，598--616（2013；Zbl 1425.68061） 全文： 内政部 哈尔
克拉克·巴雷特;斯特凡·德姆里;Deters，摩根 见证柜台机器的运行。 （英语） Zbl 1397.68122号 Fontaine，Pascal（编辑）等人，《组合系统的前沿》。2013年9月18日至20日，法国南希，第九届国际研讨会，FroCoS 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40884-7/pbk）。计算机科学课堂讲稿8152。《人工智能课堂讲稿》，120-150（2013）。MSC公司：60年第68季度 03B44号 03英尺30英寸 65年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{C.Barrett}等人，Lect。注释计算。科学。8152120-150（2013年；兹bl 1397.68122） 全文： 内政部 哈尔
de Oliveira，Diego Caminha B。;戴维·戴哈贝;帕斯卡·方丹 通过（模型-）等式传播组合决策过程。 （英语） Zbl 1243.68150号 科学。计算。程序。 77，第4期，518-532（2012）.MSC公司：68号30 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.C.B.de Oliveira}等人，科学。计算。程序。77，No.4，518--532（2012；Zbl 1243.68150） 全文： 内政部
巴哈雷赫巴德班;马丁·兰格 使用SMT求解器对时间自动机进行精确增量分析。 （英语） 兹伯利1348.68118 Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。《计算机科学讲义》69171977-192（2011）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}和\textit{M.Lange}，莱克特。注释计算。科学。6919、177--192（2011年；Zbl 1348.68118） 全文： 内政部
达米安·巴索蒂;利昂诺·普伦萨·尼托;Tiu，Alwen先生 时钟同步算法验证：演绎工具组合实验。 （英语） Zbl 1125.68107号 正式Asp。计算。 19，第3号，321-341（2007）.MSC公司：68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Barsotti}等人，《形式Asp》。计算。19，第3号，321--341（2007；Zbl 1125.68107） 全文： 内政部 链接