鲍迈斯特，简；科宁，诺琳；博尔祖·博纳克达尔普尔；伯恩德·芬克贝纳；塞萨尔·桑切斯 异步超属性的时态逻辑。 （英语） 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许可证
徐子汉；塞萨尔·桑切斯；博尔祖·博纳克达尔普尔 超属性的有界模型检查。 （英语） Zbl 1467.68086号 Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 94-112 (2021).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.-H.Hsu}等人，Lect。注释计算。科学。12651，94-112（2021；Zbl 1467.68086） 全文： 内政部 arXiv公司 OA许可证