摘要：定时模型的一致性检查：两种度量的定时对齐问题的研究
作者：Thomas Chatain (MEXICO, ENS Paris Saclay, LMF, Inria, CNRS), Neha Rino (LMF, ENS Paris Saclay, CNRS, Inria, MEXICO)
论文ID：2207.01870
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-07-06
PDF 下载： 英文版 中文版pdf翻译中