摘要：1-安全Petri网上的游戏定义及其应用
作者：Federica Adobbati, Luca Bernardinello, Lucia Pomello
论文ID：2204.01603
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-04-05
PDF 下载： 英文版 中文版pdf翻译中