汉内斯·卡尔维斯;马丁·勒克;塞萨尔·桑切斯 在不确定性和假设条件下进行监控的符号运行时验证。 (英语) Zbl 1522.68326号 Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。第20届国际研讨会,ATVA 2022,虚拟活动,2022年10月25日至28日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13505, 117-134 (2022).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Kallwies}等人,Lect。注释计算。科学。13505117-134(2022年;兹比尔1522.68326) 全文: 内政部 arXiv公司
伊戈尔·赫梅尔尼茨基;尼尔,丹尼尔;罗伊,拉贾什;谢、宣;巴博特,贝努伊特;贝内迪克特·博利格;阿兰·芬克尔;谢尔盖,哈达德;马丁·勒克;叶,丽娜 递归神经网络的属性定向验证和鲁棒性证明。 (英语) Zbl 1497.68311号 Hou,Zhe(编辑)等,验证和分析自动化技术。第19届国际研讨会,2021年10月18日至22日,澳大利亚昆士兰州黄金海岸,ATVA 2021。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12971, 364-380 (2021).MSC公司:60年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{I.Khmelnitsky}等人,Lect。注释计算。科学。12971664-380(2021年;兹bl 1497.68311) 全文: 内政部
卢卡斯修道院;塞巴斯蒂安·亨格瑞克;马丁·勒克;托本·谢菲尔;麦尔特·施密茨;丹尼尔·托马 TeSSLa:基于时间流的规范语言。 (英语) Zbl 1519.68130号 Massoni,Tiago(编辑)等人,《形式方法:基础和应用》。2018年11月26日至30日,巴西萨尔瓦多,第21届巴西研讨会,SBMF 2018。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11254, 144-162 (2018).MSC公司:60年第68季度 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Convent}等人,Lect。注释计算。科学。11254,144-162(2018;Zbl 1519.68130) 全文: 内政部 arXiv公司
诺曼·戴克;彼得·哈贝梅尔;马丁·勒克;阿诺德·桑尼尔;丹尼尔·托马 模型检查计算平面结构上的时序逻辑。 (英语) Zbl 1442.68105号 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第29条,第17页(2017年)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Decker}等人,LIPIcs——莱布尼茨国际程序。通知。85,第29条,第17页(2017;Zbl 1442.68105) 全文: 内政部 arXiv公司
本·莫斯科夫斯基(编辑);迪米塔尔·盖列夫(编辑);马丁·勒克(编辑) 客座编辑为《间隔时间逻辑》专刊撰写的前言。 (英语) Zbl 1298.00328号 安。数学。Artif公司。智力。 71,编号1-3,1-9(2014).MSC公司:00B25型 03-06 68-06 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Moszkowski}(编辑)等,《数学年鉴》。Artif公司。因特尔。71,编号1--3,1--9(2014;Zbl 1298.00328) 全文: 内政部
沃尔克·迪克特;马丁·勒克 拓扑、可监控属性和运行时验证。 (英语) Zbl 1359.68164号 西奥。计算。科学。 537, 29-41 (2014).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}和\textit{M.Leucker},Theor。计算。科学。537、29-41(2014年;Zbl 1359.68164) 全文: 内政部
Joost-Pieter卡托恩;丹尼尔·克林克;马丁·勒克;维雷娜·沃尔夫 概率系统的三值抽象。 (英语) Zbl 1277.68219号 J.日志。代数。程序。 81,第4期,356-389(2012).MSC公司:第68季度87 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Katoen}等人,J.Log。代数。程序。81,第4号,356--389(2012;Zbl 1277.68219) 全文: 内政部
安德烈亚斯·鲍尔;马丁·勒克;克里斯蒂安·夏尔哈特 比较运行时验证的LTL语义。 (英语) Zbl 1213.68363号 J.日志。计算。 20,第3期,651-674(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bauer}等人,J.Log。计算。20,第3号,651--674(2010;Zbl 1213.68363) 全文: 内政部 链接
塞萨尔·桑切斯;马丁·勒克 具有过去的正则线性时间逻辑。 (英语) Zbl 1273.03064号 Barthe,Gilles(编辑)等人,《验证、模型检验和抽象解释》。第11届国际会议,VMCAI 2010,马德里,西班牙,2010年1月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-11318-5/pbk)。计算机科学课堂讲稿5944295-311(2010)。MSC公司:03B44号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Sánchez}和\textit{M.Leucker},莱克特。注释计算。科学。5944295--311(2010年;Zbl 1273.03064) 全文: 内政部
阿拉里科坎佩特利;亚历山大·格鲁勒;马丁·勒克;丹尼尔·托马 不知道多值系统。 (英语) Zbl 1262.68106号 刘志明(编辑)等,《验证和分析自动化技术》。2009年10月14日至16日,第七届国际研讨会,ATVA 2009,中国澳门。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04760-2/pbk)。计算机科学课堂讲稿5799,289-305(2009)。MSC公司:60年第68季度 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.Campetelli}等人,Lect。注释计算。科学。5799、289--305(2009年;Zbl 1262.68106) 全文: 内政部
马丁·勒克;克里斯蒂安·夏尔哈特 运行时验证的简要说明。 (英语) Zbl 1192.68433号 J.日志。代数。程序。 78,第5期,293-303(2009).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Leucker}和\textit{C.Schallhart},J.Log。代数。程序。78,编号5293-303(2009年;兹bl 1192.68433) 全文: 内政部
奥尔加·格林斯坦;马丁·勒克 实时系统的网络不变量。 (英语) Zbl 1163.68326号 正式Asp。计算。 20,第6号,619-635(2008).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Grinchtein}和\textit{M.Leucker},正式Asp。计算。20,第6号,619--635(2008;Zbl 1163.68326) 全文: 内政部
Joost-Pieter卡托恩;丹尼尔·克林克;马丁·勒克;维雷娜·沃尔夫 用Erlang的阶段法对随机系统进行抽象。 (英语) Zbl 1160.68469号 van Breugel,Franck(编辑)等人,CONCUR 2008–并发理论。第19届国际会议,CONCUR 2008,加拿大多伦多,2008年8月19-22日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85360-2/pbk)。计算机科学课堂讲稿5201,279-294(2008)。MSC公司:68问题85 60年第68季度 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Katoen}等人,Lect。注释计算。科学。5201、279--294(2008年;Zbl 1160.68469) 全文: 内政部 链接
董伟;马丁·勒克;克里斯蒂安·夏尔哈特 运行时验证中的公正预期。 (英语) 兹比尔1183.68367 Cha,Sungdeok(Steve)(编辑)等人,验证和分析自动化技术。2008年10月20日至23日,第六届国际研讨会,ATVA 2008,韩国首尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-88386-9/pbk)。计算机科学课堂讲稿5311386-396(2008)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Dong}等人,Lect。注释计算。科学。5311386-396(2008年;Zbl 1183.68367) 全文: 内政部
马丁·勒克 学习与验证相结合。 (英语) Zbl 1147.68541号 de Boer,Frank S.(编辑)等人,组件和对象的形式化方法。2006年11月7日至10日在荷兰阿姆斯特丹举行的2006年FMCO第五届国际研讨会。修订的讲座。柏林:施普林格出版社(ISBN 978-3-540-74791-8/pbk)。《计算机科学讲义》4709127-151(2007)。MSC公司:68问题32 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Leucker},莱克特。注释计算。科学。4709127--151(2007年;Zbl 1147.68541) 全文: 内政部
Joost-Pieter卡托恩;丹尼尔·克林克;马丁·勒克;维雷娜·沃尔夫 连续时间马氏链的三值抽象。 (英语) Zbl 1135.68476号 Damm,Werner(编辑)等人,《计算机辅助验证》。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73367-6/pbk)。计算机科学课堂讲稿4590311-324(2007)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Katoen}等人,Lect。注释计算。科学。4590,311--324(2007;Zbl 1135.68476) 全文: 内政部
奥尔纳·格伦伯格;马丁·兰格;马丁·勒克;沙龙·肖姆 不输胜于赢:完整微积分的抽象和精化。 (英语) Zbl 1306.68100号 Inf.计算。 205,第8期,1130-1148(2007).MSC公司:60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人,信息计算。205,第8号,1130--1148(2007;Zbl 1306.68100) 全文: 内政部
奥尔加·格林斯坦;马丁·勒克;尼尔·皮特曼 自动推断网络不变量。 (英语) Zbl 1222.68379号 Furbach,Ulrich(编辑)等人,《自动推理》。2006年8月17日至20日,第三届国际联合会议,IJCAR 2006,美国华盛顿州西雅图。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37187-8/pbk)。计算机科学讲义4130。人工智能课堂讲稿,483-497(2006)。MSC公司:68T20型 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{O.Grinchtein}等人,Lect。注释计算。科学。4130483--497(2006年;Zbl 1222.68379) 全文: 内政部
安德烈亚斯·鲍尔;马丁·勒克;克里斯蒂安·夏尔哈特 实时属性的监控。 (英语) Zbl 1177.68141号 Arun-Kumar,S.(编辑)等人,FSTTCS 2006:软件技术和理论计算机科学基础。第26届国际会议,印度加尔各答,2006年12月13日至15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-49994-7/pbk)。计算机科学课堂讲稿4337260-272(2006)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bauer}等人,Lect。注释计算。科学。4337260-272(2006年;Zbl 1177.68141) 全文: 内政部
哈拉尔德·费彻;马丁·勒克;维雷娜·沃尔夫 在概率系统中不知道。 (英语) Zbl 1178.68341号 Valmari,Antti(编辑),模型检查软件。第十三届国际SPIN研讨会,奥地利维也纳,2006年3月30日至4月1日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-33102-6/pbk)。计算机科学课堂讲稿3925,71-88(2006)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Fecher}等人,Lect。注释计算。科学。3925、71--88(2006年;Zbl 1178.68341) 全文: 内政部
弗雷德里克·霍尔曼;马丁·勒克;马库斯·林德斯特伦 向上(Upp)DMC:一个分布式模型检查器,用于检查\(\mu\)-演算片段。 (英语) Zbl 1272.68257号 Brim,Luboš(ed.)等人,第三届平行和分布式验证方法国际研讨会论文集(PDMC 2004),英国伦敦,2004年9月4日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》128,第3期,91-105(2005)。MSC公司:60年第68季度 68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Holmén}等人,《电子》。注释Theor。计算。科学。128,第3号,91--105(2005;Zbl 1272.68257) 全文: 链接
特蕾莎·伯格;本特·琼森;马丁·勒克;马扬克省萨克塞纳 对Angluin学习的见解。 (英语) 兹比尔1272.68164 Etalle,S.(ed.)等人,《软件验证与确认国际研讨会论文集》(SVV 2003),印度孟买,2003年12月9日至13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记118,3-18(2005)。MSC公司:68问题32 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Berg}等人,《电子》。注释Theor。计算。科学。118、3-18(2005年;Zbl 1272.68164) 全文: 链接
卢博什·布里姆(编辑);马丁·勒克(编辑) 2004年9月4日,英国伦敦,第三届平行和分布式验证方法国际研讨会论文集(PDMC 2004)。 (英语) Zbl 1271.68026号 理论计算机科学电子笔记第128页,第3页。阿姆斯特丹:爱思唯尔。138页。,仅电子版(2005)。MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Brim}(编辑)和textit{M.Leucker}(编),第三届平行和分布式验证方法国际研讨会论文集(PDMC 2004),英国伦敦,2004年9月4日。阿姆斯特丹:Elsevier(2005;Zbl 1271.68026) 全文: 链接
奥尔纳·格伦伯格;马丁·兰格;马丁·勒克;沙龙·肖姆 在\(\mu\)-演算中不知道。 (英语) Zbl 1112.68090号 Cousot,Radhia(编辑),验证,模型检查和抽象解释。第六届国际会议,VMCAI 2005,巴黎,法国,2005年1月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24297-X/pbk)。计算机科学讲座笔记3385,233-249(2005)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人,Lect。注释计算。科学。3385233-249(2005年;Zbl 1112.68090) 全文: 内政部
曼弗雷德·布罗伊(编辑);本特·琼森(编辑);Joost-Pieter卡托恩(编辑);马丁·勒克(编辑);亚历山大·普雷施纳(编辑) [埃克塞尔·贝林芬特;特蕾莎·伯格;克尔斯滕·伯克科特;亨利克·比约克隆德;Brandán Briones,劳拉;斯特凡·D·布鲁达。;塞维琳·科林;戴振如;乔治·丁;穆罕默德·勒姆利;拉尔斯·弗兰岑;加甘蒂尼,安吉洛;克里斯托夫·加斯顿;马克·霍斯特曼;本特·琼森;Joost-Pieter卡托恩;雷蒙·科纳;莫伊斯·克里钦;马丁·勒克;利瓦·卢西奥;莱昂纳多·马里亚尼;法比安·佩鲁克斯;菲利普斯,简;沃尔夫冈·普伦宁格;亚历山大·普雷施纳;哈拉尔德·拉菲尔特;马蒂亚斯·罗尔;马可·萨梅尔;斯文·桑德伯格;克里斯蒂安·夏尔哈特;德克·塞弗特;瓦列里察恩;马基尔·范德·比吉尔;维雷娜·沃尔夫] 反应系统的基于模型的测试。高级讲座。 (英语) Zbl 1070.68088号 计算机科学课堂讲稿3472.柏林:施普林格出版社(ISBN 3-540-26278-4/pbk)。viii,659页。(2005年)。MSC公司:60年第68季度 68米15 68-02 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}(编辑)等人,反应系统的基于模型的测试。高级讲座。柏林:施普林格出版社(2005;Zbl 1070.68088) 全文: 内政部
奥尔加·格林斯坦;马丁·勒克 实时系统的网络不变量。 (英语) Zbl 1271.68136号 Schnoebelen,P.(编辑),《2003年INFINITY会议录》,第五届无限状态系统验证国际研讨会,CONCUR 2003卫星研讨会,法国马赛2003年9月2日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记98,57-74(2004)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{O.Grinchtein}和\textit{M.Leucker},电子。注释Theor。计算。科学。98、57-74(2004年;Zbl 1271.68136) 全文: 链接
贝内迪克特·博利格;马丁·勒克 验证概率程序的定性属性。 (英语) Zbl 1203.68094号 Baier,Christel(编辑)等人,《随机系统的验证》。当前研究指南。柏林:施普林格出版社(ISBN 3-540-22265-0/pbk)。计算机科学课堂讲稿2925124-146(2004)。MSC公司:60年第68季度 68号30 65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{M.Leucker},莱克特。注释计算。科学。2925124--146(2004年;Zbl 1203.68094) 全文: 内政部
奥尔加·格林斯坦;本特·琼森;马丁·勒克 事件记录自动机的学习。 (英语) Zbl 1109.68515号 Lakhnech,Yassine(ed.)等人,定时和容错系统的形式化技术、建模和分析。关于定时系统的正式建模和分析的联合国际会议,FORMATS 2004,以及实时和容错系统的正式技术,FTRTFT 2004,法国格勒诺布尔,2004年9月22日至24日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23167-6/pbk)。计算机科学课堂讲稿3253379-395(2004)。MSC公司:60年第68季度 65年第68季度 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{O.Grinchtein}等人,Lect。注释计算。科学。3253、379--395(2004年;Zbl 1109.68515) 全文: 内政部
马丁·勒克;拉斐尔·索姆拉;迈克尔·韦伯 并行模型检查长期贷款,CTL公司\(^*\)和\(L^2_{\mu}\)。 (英语) Zbl 1271.68142号 Sokolsky,Oleg(编辑)等人,PDMC 2003。2003年7月14日,美国科罗拉多州博尔德市,第二届并行和分布式模型检验国际研讨会(CAV’03卫星研讨会)会议记录。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》89,第1期,第4-16页(2003年)。MSC公司:60年第68季度 03B44号 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{M.Leucker}等人,《电子》。注释Theor。计算。科学。89,编号1,4--16(2003;Zbl 1271.68142) 全文: 链接
贝内迪克特·博利格;马丁·勒克 模型检查概率分布式系统。 (英语) 兹比尔1215.68127 Saraswat,Vijay A.(编辑),《计算科学进展——ASIAN 2003》。编程语言和分布式计算。第八届亚洲计算科学会议,印度孟买,2003年12月10-12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20632-9/pbk)。莱克特。注释计算。科学。2896, 291-304 (2003).MSC公司:60年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{M.Leucker},莱克特。注释计算。科学。2896、291--304(2003年;Zbl 1215.68127) 全文: 内政部
贝内迪克特·博利格;马丁·勒克;迈克尔·韦伯 无交替演算的局部并行模型检验。 (英语) Zbl 1077.68680号 博什纳奇·德拉甘(编辑)等人,《模型检查软件》。第九届国际SPIN研讨会,法国格勒诺布尔,2002年4月11-13日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43477-1)。莱克特。注释计算。科学。2318, 128-147 (2002).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人,Lect。注释计算。科学。2318、128--147(2002年;Zbl 1077.68680) 全文: 链接
贝内迪克特·博利格;马丁·勒克;菲利普·卢卡斯 扩展组合消息序列图。 (英语) 兹比尔1023.68005 Baaz,Matthias(编辑)等人,《编程逻辑、人工智能和推理》。第九届国际会议,2002年10月14日至18日,格鲁吉亚第比利斯,LPAR 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2514, 68-85 (2002).MSC公司:68个M12 68兰特 03年2月25日 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人,Lect。注释计算。科学。2514、68——85(2002年;Zbl 1023.68005) 全文: 链接
马丁·勒克 Mazurkiewicz轨迹的逻辑。 (英语) Zbl 1018.03016号 Aachener Informatik-Berichte公司。10.亚琛:亚琛大学,计算机科学系,iv,176页(2002年)。MSC公司:03B44号 60年第68季度 03年2月25日 05年3月 68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Leucker},Mazurkiewicz记录道的逻辑。亚琛:亚琛大学计算机科学系(2002;Zbl 1018.03016)
马丁·勒克;马杜苏丹,P。;Supratik Mukhopadhyay公司 动态消息序列图。 (英语) Zbl 1027.68082号 Agrawal,Manindra(编辑)等人,FST TCS 2002:软件技术和理论计算机科学基础。第二十二届会议,印度坎普尔,2002年12月12日至14日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2556, 253-264 (2002).MSC公司:60年第68季度 68问题85 65年第68季度 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{M.Leucker}等人,Lect。注释计算。科学。2556253--264(2002;Zbl 1027.68082) 全文: 链接
马丁·勒克;诺尔,托马斯 Truth/SLC–并发系统的并行验证平台。 (英语) Zbl 0991.68646号 Berry,Gérard(编辑)等人,《计算机辅助验证》。2001年7月18日至22日,第13届国际会议,CAV 2001,法国巴黎。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2102, 255-259 (2001).MSC公司:68单位99 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Leucker}和\textit{T.Noll},Lect。注释计算。科学。210225-259(2001;Zbl 0991.68646) 全文: 链接
贝内迪克特·博利格;马丁·勒克;迈克尔·韦伯 无交互演算的并行模型检查。 (英语) Zbl 0986.68065号 Margaria,Tiziana(编辑)等,系统构建和分析的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001,是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2031, 543-558 (2001).MSC公司:60年第68季度 68宽10 91A05型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人,Lect。注释计算。科学。2031543--558(2001;Zbl 0986.68065)
马丁·勒克 在模型上检查同步硬件电路。 (英语) Zbl 0987.68044号 何继峰(编辑)等,《计算科学进展——2000年亚洲》。第六届亚洲计算科学会议,马来西亚槟城,2000年11月25-27日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1961, 182-198 (2000).MSC公司:60年第68季度 94立方厘米 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Leucker},莱克特。注释计算。科学。1961年,182-198年(2000年;Zbl 0987.68044)
马丁·勒克;诺尔,托马斯 重写逻辑作为通用验证工具的框架。 (英语) Zbl 0962.68080号 Futatsugi,Kokichi,第三届重写逻辑及其应用国际研讨会,RWLW。金泽市文化厅,金泽,日本,2000年9月18日至20日。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。36、17页,仅电子版(2000年)。MSC公司:2012年第68季度 68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Leucker}和\textit{T.Noll},in:第三届重写逻辑及其应用国际研讨会,RWLW。金泽市文化厅,金泽,日本,2000年9月18日至20日。阿姆斯特丹:爱思唯尔。17页(2000年;Zbl 0962.68080)
马丁·勒克 无交替演算和交替自动机的模型检验游戏。 (英语) 兹伯利0938.03053 Ganzinger,Harald(编辑)等人,《编程逻辑和自动推理》。第六届国际会议,1999年9月6日至10日,格鲁吉亚第比利斯LPAR’99。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1705, 77-91 (1999).MSC公司:03B70号 60年第68季度 03B44号 91A80型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Leucker},莱克特。注释计算。科学。1705,77--91(1999;Zbl 0938.03053)
马丁·兰格;马丁·勒克;诺尔,托马斯;托比,斯蒂芬 Truth–并发系统的验证平台。 (英语) 兹伯利0968.68527 Berghamer,Rudolf(ed.)等人,系统规范、开发和验证的工具支持。国际研讨会会议记录,德国马伦特,1998年6月1日至4日。维恩:施普林格。计算机科学进展。150-159 (1999).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lange}等人,in:系统规范、开发和验证的工具支持。国际研讨会论文集,德国马伦特,1998年6月1-4日。维恩:施普林格。150-159(1999;Zbl 0968.68527)