第 1 到 1 筆結果,共 1 筆。
公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 | |
---|---|---|---|---|---|---|---|
1 | 2021 | From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle | YIH-KUEN TSAY ; Vardi M.Y. | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |