摘要：LTL公式转换为Büchi自动机的问题
作者：Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He and Kim G. Larsen
论文ID：1207.3866
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2012-07-18
PDF 下载： 英文版 中文版pdf翻译中