검색결과 : 1건
No. | Article |
---|---|
1 |
Algorithmic analysis of nonlinear hybrid systems Henzinger TA, Ho PH, Wong-Toi H IEEE Transactions on Automatic Control, 43(4), 540, 1998 |
No. | Article |
---|---|
1 |
Algorithmic analysis of nonlinear hybrid systems Henzinger TA, Ho PH, Wong-Toi H IEEE Transactions on Automatic Control, 43(4), 540, 1998 |