科宁,诺琳;雷蒙·达赫塞特;伯恩德·芬克贝纳;哈达尔·弗兰克尔;克里斯托弗·哈恩;汤姆·霍拉克;尼古拉斯·梅茨格;朱利安·西伯 解释超属性违规。 (英语) Zbl 1514.68127号 Shoham,Sharon(编辑)等人,《计算机辅助验证》。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。13371, 407-429 (2022).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Coenen}等人,Lect。注释计算。科学。13371407--429(2022年;Zbl 1514.68127) 全文: 内政部 arXiv公司 OA许可证
鲍迈斯特,简;科宁,诺琳;博佐博纳克达普尔;伯恩德·芬克贝纳;塞萨尔·桑切斯 异步超属性的时态逻辑。 (英语) 兹比尔1493.68205 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759, 694-717 (2021).MSC公司:60年第68季度 03B44型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Baumeister}等人,Lect。注释计算。科学。12759、694--717(2021年;Zbl 1493.68205) 全文: 内政部 arXiv公司 OA许可证