第 1 到 3 筆結果,共 3 筆。
公開日期 | 標題 | 作者 | 來源出版物 | 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) | |||
2 | 2004 | 元件合成軟體之形式化驗證初探 | 蔡益坤 | ||||
3 | 2001 | 以時間邏輯為表示法的模組細步化 | 蔡益坤 |