单计数器自动机上的同步CTL

摘要:青岛福来译文翻译公司

作者:Shaull Almagor, Daniel Assa, Udi Boker

论文ID:2308.03308

分类:Formal Languages and Automata Theory

分类简称:cs.FL

提交时间:2023-08-08

PDF 下载: 英文版 中文版pdf翻译中