|
English
|
正體中文
|
简体中文
|
總筆數 :2853327
|
|
造訪人次 :
44988131
線上人數 :
1764
教育部委託研究計畫 計畫執行:國立臺灣大學圖書館
|
|
|
"luo c j"的相關文件
顯示項目 1-3 / 3 (共1頁)
1
每頁顯示[10|25|50]項目
| 臺大學術典藏 |
2018-09-10T07:28:16Z |
Tool support for learning Büchi automata and linear temporal logic
|
Tsay, Y.-K.;Chen, Y.-F.;Tsai, M.-H.;Wu, K.-N.;Chan, W.-C.;Luo, C.-J.;Chang, J.-S.; Tsay, Y.-K.; Chen, Y.-F.; Tsai, M.-H.; Wu, K.-N.; Chan, W.-C.; Luo, C.-J.; Chang, J.-S.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T06:56:11Z |
GOAL extended: Towards a research tool for omega automata and temporal logic
|
Tsay, Y.-K.;Chen, Y.-F.;Tsai, M.-H.;Chan, W.-C.;Luo, C.-J.; Tsay, Y.-K.; Chen, Y.-F.; Tsai, M.-H.; Chan, W.-C.; Luo, C.-J.; YIH-KUEN TSAY |
| 國立臺灣大學 |
2009-05 |
Tool Support for Learning Buchi Automata and Linear Temporal Logic
|
Tsay, Y. -K.; Chen, Y. -F.; Tsai, M. -H.; Wu, K. -N.; Chan, W. -C.; Luo, C. -J.; Chang, J. -S. |
顯示項目 1-3 / 3 (共1頁)
1
每頁顯示[10|25|50]項目
|
