科宁，诺琳；雷蒙·达赫塞特；伯恩德·芬克贝纳；哈达尔·弗兰克尔；克里斯托弗·哈恩；汤姆·霍拉克；尼克拉斯·梅茨格；朱利安·西伯 解释超属性违规。 （英语） 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许可证
鲍迈斯特，简；科宁，诺琳；博尔祖·博纳克达尔普尔；伯恩德·芬克贝纳；塞萨尔·桑切斯 异步超属性的时态逻辑。 （英语） Zbl 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许可证