斯蒂芬·默兹 正式规范和验证。 （英文） Zbl 1455.68016号 Malkhi，Dahlia（编辑），Concurrency。莱斯利·兰波特的作品。纽约州纽约市：计算机协会（ACM）。ACM Books 29，103-129（2019）。MSC公司：68-03 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Merz}，ACM Books 29，103--129（2019；Zbl 1455.68016） 全文： 内政部 哈尔
斯蒂芬·默兹;埃尔南·范泽托 使用SMT解算器自动验证TLA（^{+}）证明义务。 （英文） Zbl 1352.68159号 Björner，Nikolaj（编辑）等人，《编程逻辑、人工智能和推理》。第18届国际会议，LPAR-18，委内瑞拉梅里达，2012年3月11-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28716-9/pbk）。计算机科学课堂讲稿7180289-303（2012）。MSC公司：60年第68季度 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Merz}和\textit{H.Vanzetto}，莱克特。注释计算。科学。7180289--303（2012年；兹比尔1352.68159） 全文： 内政部 哈尔
亚历山大·辛普夫;斯蒂芬·默兹;斯马乌斯，Jan-Georg 在Isabelle/HOL中验证了用于LTL模型检查的Büchi自动机的构造。 （英文） Zbl 1252.68196号 Berghofer，Stefan（编辑）等人，《高阶逻辑中的定理证明》。2009年8月17日至20日在德国慕尼黑举行的第22届TPHOL国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03358-2/pbk）。计算机科学讲座笔记5674，424-439（2009）。MSC公司：60年第68季度 03B44号 05年3月 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Schimpf}等人，Lect。注释计算。科学。5674424--439（2009年；Zbl 1252.68196） 全文： 内政部
弗雷德·克罗格;斯蒂芬·默兹 时间逻辑和状态系统。 （英文） Zbl 1169.03001号 理论计算机科学课文。EATCS系列柏林：施普林格出版社（ISBN 978-3-540-67401-6）。xii，第433页。(2008). 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：03-02 03B44号 03B70号 68-02 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Kröger}和\textit{S.Merz}，时间逻辑和状态系统。柏林：施普林格出版社（2008；Zbl 1169.03001） 全文： 内政部
亚历山大·纳普;斯蒂芬·默兹;马丁·威尔辛;朱利亚·扎佩 MTLA和移动UML中移动系统的规范和细化。 （英文） Zbl 1086.68016号 西奥。计算。科学。 351，第2期，184-202（2006）.MSC公司：68M10个 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Knapp}等人，Theor。计算。科学。351，第2号，184--202（2006；Zbl 1086.68016） 全文： 内政部 链接
斯蒂芬·默兹 在\（\text{TLA}^+\）的逻辑上。 （英文） Zbl 1104.68364号 计算。通知。 22，编号3-4，351-379（2003）. 审核人：加布里埃尔·奥克萨（布拉迪斯拉发） MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Merz}，计算。通知。22，编号3--4，351--379（2003；Zbl 1104.68364）
斯蒂芬·默兹;马丁·威尔辛;朱利亚·扎佩 用于移动系统规范和细化的时空逻辑。 （英文） Zbl 1032.03028号 Pezzè，Mauro（编辑），《软件工程的基本方法》，2003年第六届FASE国际会议，作为欧洲软件理论和实践联合会议的一部分，2003年4月7日至11日在波兰华沙举行。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。262187-101（2003年）。MSC公司：03B70号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Merz}等人，Lect。注释计算。科学。2621,87--101（2003；Zbl 1032.03028） 全文： 链接
斯蒂芬·默兹 反应系统分析的模型检验技术。 （英文） Zbl 1016.03028号 合成 133，第1-2号，173-201（2002）.MSC公司：03B70号 60年第68季度 03B44号 65年第68季度 05年3月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Merz}，综合133，No.1--2，173--201（2002；Zbl 1016.03028） 全文： 内政部
斯蒂芬·默兹 模型检查：教程概述。 （英文） Zbl 0986.68063号 Cassez，Franck（编辑）等人，并行过程的建模和验证。2000年6月19日至23日，法国南特，第四届暑期学校，MOVEP 2000。修订的教程讲座。柏林：斯普林格。勒克特。注释计算。科学。2067, 3-38 (2001).MSC公司：60年第68季度 68问题85 94A62型 65年第68季度 05年3月 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Merz}，莱克特。注释计算。科学。2067，3--38（2001；Zbl 0986.68063）
斯蒂芬·默兹 更完整的TLA。 （英文） Zbl 0952.03016号 Jeannette M.Wing（编辑）等人，FM’99。形式化方法。计算系统开发中的形式化方法世界大会。1999年9月20日至24日，法国图卢兹。诉讼程序。在2卷中。柏林：施普林格出版社（ISBN 3-540-66587-0/vol1；3-540-665088-9/vol2）。勒克特。注释计算。科学。1708; 1709, 1226-1244 (1999).MSC公司：03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Merz}，莱克特。注释计算。科学。17081226--1244（1999；Zbl 0952.03016）
亚辛·莫赫塔里;斯蒂芬·默兹 动画TLA规范。 （英文） Zbl 0938.03056号 Ganzinger，Harald（编辑）等人，《编程逻辑和自动推理》。第六届国际会议，1999年9月6日至10日，格鲁吉亚第比利斯LPAR’99。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1705, 92-110 (1999).MSC公司：03B70号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛Y.Mokhtari｝和\textit｛S.Merz｝，Lect。注释计算。科学。1705，92-110（1999；Zbl 0938.03056）
斯蒂芬·默兹 抽象规则。 （英文） Zbl 0899.03013号 Shyamasundar，R.K.（编辑）等人，《计算科学进展——1997年亚洲》。第三届亚洲计算科学会议，尼泊尔加德满都，1997年12月9日至11日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1345, 32-45 (1997). 审核人：L.州（布库雷什蒂） MSC公司：03B35型 68吨15 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Merz}，莱克特。注释计算。科学。1345，32-45（1997；Zbl 0899.03013）
马丁·阿巴迪;斯蒂芬·默兹 将TLA作为逻辑。 （英文） Zbl 0855.03019号 Broy，Manfred（编辑），演绎程序设计。1994年7月26日至8月7日，《北约高级研究所学报》，德国马克托伯多夫。柏林：斯普林格。北约ASI系列。，序列号。F、 计算。系统。科学。152, 235-271 (1996). 审核人：R.David（Le Bourget Du Lac） MSC公司：03B70号 03B45号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{S.Merz}，北约ASI Ser。，序列号。F、 计算。系统。科学。152235-271（1996年；Zbl 0855.03019）
斯蒂芬·默兹 时序逻辑作为一种编程语言。 （英文） Zbl 0864.03022号 慕尼黑：法国慕尼黑大学。数学。202页（1992年）。 审核人：R.David（Le Bourget Du Lac） MSC公司：03B70号 03B45号 68T27型 68甲15 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Merz}，作为编程语言的时态逻辑。慕尼黑：法国慕尼黑大学。数学。（1992年；Zbl 0864.03022）
斯蒂芬·默兹 线性时间一阶时序逻辑的可判定性和不完全性结果。 （英文） Zbl 0790.03019号 J.应用。非类别。日志。 第2期，第139-156页（1992年）.MSC公司：03B45号 03B25号 03B70号 PDF格式BibTeX公司 XML格式引用 \文本｛S.Merz｝，J.Appl。非类别。日志。2，编号2，139--156（1992；Zbl 0790.03019） 全文： 内政部
弗雷德·克罗格;斯蒂芬·默兹 时序逻辑和递归。 （英文） Zbl 0717.68067号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 14，第2期，261-281（1991）.MSC公司：60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{F.Kröger}和\textit{S.Merz}，Ann.Soc.Math。政策。，序列号。四、 芬丹。Inf.14，No.2，261--281（1991；Zbl 0717.68067）