摘要：超节点自动机：一种并发系统超属性的新规范形式
作者：Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
论文ID：2305.02836
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-05-05
PDF 下载： 英文版 中文版pdf翻译中