П |
A User Guide to HyTech |
1996 |
Henzinger T. A., Ho P. -H., Wong-Toi H. |
|
|
Basic Research in Computer Science |
|
21.01.1997 |
СТ |
Automated Analysis of an Audio Control Protocol |
1995 |
Ho P. -H., Wong-Toi H. |
|
|
|
Lecture Notes in Computer Science |
27.07.1995 |
СТ |
Algorithmic Analysis of Nonlinear Hybrid Systems |
1995 |
Henzinger T. A., Ho P. -H. |
|
|
|
Lecture Notes in Computer Science |
27.07.1995 |
СТ |
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems |
1993 |
Alur R., Courcoubetis C., Henzinger T. A., Ho P. -H. |
|
|
|
Lecture Notes in Computer Science |
09.12.1993 |