拉文·贝特纳;伯恩德·芬克贝纳 超属性超安全的软件验证。 （英语） Zbl 1514.68122号 Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13371, 341-362 (2022).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Beutner}和\textit{B.Finkbeiner}，莱克特。注释计算。科学。13371、341--362（2022；Zbl 1514.68122） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳;克里斯托弗·哈恩;菲利普·卢克特;马文·斯坦格;Leander Tentrup公司 超属性合成。 （英语） 兹比尔1435.68194 学报信息。 57，编号1-2，137-163（2020）.MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，《信息学报》57，第1--2137-163期（2020年；Zbl 1435.68194） 全文： 内政部 arXiv公司
吕迪格·埃勒斯;伯恩德·芬克贝纳 对称合成。 （英语） Zbl 1491.68109号 Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第26条，第13页（2018年）。MSC公司：60年第68季度 2007年7月68日 64岁以下 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers}和\textit{B.Finkbeiner}，LIPIcs——莱布尼茨国际程序。通知。93，第26条，第13页（2018；兹bl 1491.68109） 全文： 内政部 arXiv公司