검색결과 : 3건
No. | Article |
---|---|
1 |
Syntax-based synthesis for temporal-safety supervision Seow KT Automatica, 41(11), 1965, 2005 |
2 |
Existence characterizations of temporal-safety supervisors Seow KT IEEE Transactions on Automatic Control, 47(10), 1779, 2002 |
3 |
Structural insights into Cdk5 activation by a neuronal Cdk5 activator Lim HY, Seow KT, Li Q, Kesuma D, Wang JH, Qi RZ Biochemical and Biophysical Research Communications, 285(1), 77, 2001 |