|
English
|
正體中文
|
简体中文
|
Total items :0
|
|
Visitors :
52732127
Online Users :
508
Project Commissioned by the Ministry of Education
Project Executed by National Taiwan University Library
|
|
|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"yih kuen tsay"
Showing items 31-34 of 34 (4 Page(s) Totally)
<< < 1 2 3 4
View [10|25|50] records per page
| 臺大學術典藏 |
2018-09-10T03:26:28Z |
Compositional verification in linear-time temporal logic
|
Tsay, Y.-K.; Tsay, Y.-K.; YIH-KUEN TSAY |
| 臺大學術典藏 |
2018-09-10T03:26:28Z |
Algorithmic analysis of programs with well quasi-ordered domains
|
Abdulla, P.A.;?erans, K.;Jonsson, B.;Tsay, Y.-K.; Abdulla, P.A.; ?erans, K.; Jonsson, B.; Tsay, Y.-K.; YIH-KUEN TSAY |
| 臺大學術典藏 |
1995 |
Assumption/guarantee specifications in linear-time temporal logic
|
Jonsson, B; Tsay, Y.-K.; YIH-KUEN TSAY; Jonsson, B;Tsay, Y.-K. |
| 臺大學術典藏 |
1992 |
A real-time algorithm for fair interprocess synchronization
|
Tsay, Y.-K;Bagrodia, R.L.; Tsay, Y.-K; Bagrodia, R.L.; YIH-KUEN TSAY |
Showing items 31-34 of 34 (4 Page(s) Totally)
<< < 1 2 3 4
View [10|25|50] records per page
|
