Browsing by Author Shou-Yu Tseng
Showing results 1 to 1 of 1
| Publication Year | Title | Author(s) | Department |
|---|---|---|---|
| 2022 | GOAL針對交替式自動機與時序邏輯翻譯的支援 Support for Alternating Automata and Temporal Formula Translation in GOAL | Shou-Yu Tseng; 曾守瑜 | 資訊管理學研究所 |