奥尔纳·格伦伯格;马丁·兰格;马丁·勒克;沙龙·肖姆 不输胜于赢：完整微积分的抽象和精化。 （英语） 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） 全文： 内政部
弗雷德里克·霍尔曼;马丁·勒克;马库斯·林德斯特伦 向上（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） 全文： 链接
贝内迪克特·博利格;马丁·勒克;迈克尔·韦伯 无交互演算的并行模型检查。 （英语） Zbl 0986.68065号 Margaria，Tiziana（编辑）等，系统构建和分析的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001，是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。2031543-558（2001年）。MSC公司：60年第68季度 68宽10 91A05型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，Lect。注释计算。科学。2031543-558（2001年；兹bl 0986.68065）
马丁·勒克 无交替演算和交替自动机的模型检验游戏。 （英语） Zbl 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）