|
English
|
正體中文
|
简体中文
|
2817692
|
|
???header.visitor??? :
27821984
???header.onlineuser??? :
425
???header.sponsordeclaration???
|
|
|
???tair.name??? >
???browser.page.title.author???
|
"yang jin"???jsp.browse.items-by-author.description???
Showing items 1-2 of 2 (1 Page(s) Totally) 1 View [10|25|50] records per page
臺大學術典藏 |
2020-06-04T07:48:58Z |
Symbolic Model Checking for Event-Driven Real-Time Systems.
|
Yang, Jin;Mok, Aloysius K.;Wang, Farn; Yang, Jin; Mok, Aloysius K.; Wang, Farn; FARN WANG |
臺大學術典藏 |
2020-06-04T07:48:58Z |
Symbolic Model Checking for Event-Driven Real-Time Systems.
|
Yang, Jin;Mok, Aloysius K.;Wang, Farn; Yang, Jin; Mok, Aloysius K.; Wang, Farn; FARN WANG |
Showing items 1-2 of 2 (1 Page(s) Totally) 1 View [10|25|50] records per page
|