伯恩德·芬克贝纳;克里斯托弗·哈恩;马文·斯坦格;Tentrup,Leander公司 监控超属性。 (英语) Zbl 1425.68254号 形式方法系统。设计。 54,第3号,336-363(2019).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人,《形式方法系统》。设计。54,第3号,336--363(2019;Zbl 1425.68254) 全文: 内政部 arXiv公司
伯恩德·芬克贝纳;桑卡拉纳拉亚南,斯里拉姆;亨尼·B·西普玛。 收集运行时执行的统计信息。 (英语) Zbl 1083.68068号 形式方法系统。设计。 27,第3期,253-274(2005).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人,《形式方法系统》。设计。27,第3号,253--274(2005;Zbl 1083.68068) 全文: 内政部
伯恩德·芬克贝纳;亨尼·西普玛 使用交替自动机检查有限记录道。 (英语) Zbl 1073.68053号 形式方法系统。设计。 24,第2期,101-127(2004).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}和\textit{H.Sipma},《形式方法系统》。设计。24,第2号,101--127(2004;Zbl 1073.68053) 全文: 内政部