内森·富尔顿;斯特凡·米奇;布兰登·伯勒;安德烈·普拉泽 Bellerophon:混合系统的战术定理证明。 (英语) Zbl 1483.68191号 Ayala Rincón,Mauricio(编辑)等人,交互定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10499, 207-224 (2017).MSC公司:60年第68季度 68伏15 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Fulton}等人,Lect。注释计算。科学。10499207-224(2017年;兹bl 1483.68191) 全文: 内政部
斯特凡·米奇;安德烈·普拉泽 ModelPlex:验证的网络物理系统模型的验证运行时验证。 (英语) Zbl 1380.68282号 形式方法系统。设计。 49,编号1-2,33-74(2016).MSC公司:60年第68季度 03B70号 93立方 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{S.Mitsch}和\textit{A.Platzer},表格方法系统。设计。49,编号1--2,33-74(2016;Zbl 1380.68282) 全文: 内政部
安德烈·普拉泽;贾·戴维德·奎塞尔;菲利普·吕默 真实验证。 (英语) Zbl 1250.68197号 Schmidt,Renate A.(编辑),自动扣除-CADE-22。第22届自动扣款国际会议,2009年8月2日至7日,加拿大蒙特利尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02958-5/pbk)。计算机科学讲座笔记5663。人工智能课堂讲稿,485-501(2009)。MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer}等人,Lect。注释计算。科学。5663、485--501(2009年;Zbl 1250.68197) 全文: 内政部