第 1 到 3 筆結果,共 3 筆。
公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 | |
---|---|---|---|---|---|---|---|
1 | 2021 | From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle | Tsay Y.-K; Vardi M.Y.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 1 | 0 | |
2 | 2004 | 元件合成軟體之形式化驗證初探 | 蔡益坤 | ||||
3 | 2001 | 以時間邏輯為表示法的模組細步化 | 蔡益坤 |