Results 1-3 of 3 (Search time: 0.014 seconds).
Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link | |
---|---|---|---|---|---|---|---|
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) | |||
2 | 2004 | 元件合成軟體之形式化驗證初探 | 蔡益坤 | ||||
3 | 2001 | 以時間邏輯為表示法的模組細步化 | 蔡益坤 |