奥尔德罗格（Ernst-Rüdiger Olderog）;伯恩哈德·斯特芬;易、王 模型检查、综合和学习。 （英语） Zbl 1522.68339号 Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030, 1-7 (2022).MSC公司：60年第68季度 68问题32 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}等人，Lect。注释计算。科学。13030，1-7（2022年；兹比尔1522.68339） 全文： 内政部
苏珊娜·格拉芙;伯恩哈德·斯特芬;杰拉尔德·吕特根 使用接口规范对有限状态系统进行组合最小化。 （英语） Zbl 0860.68067号 正式Asp。计算。 8，第5期，607-616（1996）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Graf}等人，正式Asp。计算。8，第5号，607--616（1996；Zbl 0860.68067） 全文： 内政部
斯科特·斯莫尔卡。;伯恩哈德·斯特芬 优先级为极值概率。 （英语） Zbl 0860.68027号 正式Asp。计算。 8，第5期，585-606（1996）.MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Smolka}和\textit{B.Steffen}，正式Asp。计算。8，第5号，585--606（1996；Zbl 0860.68027） 全文： 内政部
哈迪·亨加;伯恩哈德·斯特芬 无上下文进程的本地模型检查。 （英语） Zbl 1422.68163号 Lingas，Andrzej（编辑）等人，《自动化，语言和编程》。第20届国际学术讨论会，ICALP 93，瑞典隆德，1993年7月5日至9日。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。700, 593-605 (1993).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛H.Hungar｝和\textit｛B.Steffen｝，Lect。注释计算。科学。700593-605（1993年；兹比尔1422.68163） 全文： 内政部
兰斯·克莱维兰;伯恩哈德·斯特芬 无交互模态微积分的线性时间模型检测算法。 （英语） Zbl 0772.68038号 形式方法系统。设计。 2，第2期，121-147（1993）.MSC公司：2010年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.克利夫兰}和\textit{B.Steffen}，《形式方法系统》。设计。2，第2号，121--147（1993；Zbl 0772.68038） 全文： 内政部
伯恩哈德·斯特芬 数据流分析作为模型检查。 （英语） Zbl 1493.68123号 Ito，Takayasu（编辑）等人，《计算机软件的理论方面》。1991年9月24日至27日在日本仙台举行的TACS’91国际会议。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。526, 346-364 (1991).MSC公司：68号30 03B45号 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Steffen}，莱克特。注释计算。科学。526346-364（1991年；Zbl 1493.68123） 全文： 内政部