|
"schewe s"的相關文件
顯示項目 1-8 / 8 (共1頁) 1 每頁顯示[10|25|50]項目
| 臺大學術典藏 |
2020-06-04T07:49:01Z |
An extension of ATL with strategy interaction
|
Wang, F.;Schewe, S.;Huang, C.-H.; Wang, F.; Schewe, S.; Huang, C.-H.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:49:01Z |
An extension of ATL with strategy interaction
|
Wang, F.;Schewe, S.;Huang, C.-H.; Wang, F.; Schewe, S.; Huang, C.-H.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:49:00Z |
A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors
|
FARN WANG; Wang, F.; Schewe, S.; Huang, C.-H.;Peled, D.A.;Schewe, S.;Wang, F.; Huang, C.-H.; Peled, D.A. |
| 臺大學術典藏 |
2020-06-04T07:49:00Z |
A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors
|
FARN WANG; Wang, F.; Schewe, S.; Huang, C.-H.;Peled, D.A.;Schewe, S.;Wang, F.; Huang, C.-H.; Peled, D.A. |
| 臺大學術典藏 |
2020-06-04T07:48:56Z |
Complexity of node coverage games
|
Wang, F.;Schewe, S.;Wu, J.-H.; Wang, F.; Schewe, S.; Wu, J.-H.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:56Z |
Complexity of node coverage games
|
Wang, F.;Schewe, S.;Wu, J.-H.; Wang, F.; Schewe, S.; Wu, J.-H.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:53Z |
Model-checking iterated games
|
Huang, C.-H.;Schewe, S.;Wang, F.; Huang, C.-H.; Schewe, S.; Wang, F.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:53Z |
Model-checking iterated games
|
Huang, C.-H.;Schewe, S.;Wang, F.; Huang, C.-H.; Schewe, S.; Wang, F.; FARN WANG |
顯示項目 1-8 / 8 (共1頁) 1 每頁顯示[10|25|50]項目
|