彼得·兰米奇 改进为强制HOL。 (英语) Zbl 1465.68291号 J.汽车。推理 62,第4期,481-503(2019).MSC公司:第68卷第15页 68第05页 68V20型 68瓦01 PDF格式BibTeX公司 XML格式引用 \textit{P.Lammich},J.Autom(美国汽车制造商协会)。推理62,No.4,481--503(2019;Zbl 1465.68291) 全文: DOI程序 链接
朱利安·布伦纳;彼得·兰米奇 通过部分降阶对可执行LTL模型检查器进行形式验证。 (英语) 兹比尔1426.68162 J.汽车。推理 60,第1期,3-21(2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Brunner}和\textit{P.Lammich},J.Autom。推理60,No.1,3--21(2018;Zbl 1426.68162) 全文: DOI程序 链接
彼得·兰米奇 改进为强制/HOL。 (英语) Zbl 1465.68290号 Urban,Christian(ed.)等人,《交互式定理证明》。第六届国际会议,2015年ITP,中国南京,2015年8月24日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9236, 253-269 (2015).MSC公司:第68卷第15页 68第05页 68V20型 68瓦01 PDF格式BibTeX公司 XML格式引用 \textit{P.Lammich},莱克特。注释计算。科学。9236、253--269(2015;Zbl 1465.68290) 全文: DOI程序 链接