|
П |
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 |
|
СТ |
Verification of Real-Time Systems by Successive Over and Under Approximation |
1995 |
Dill D. L., Wong-Toi H. |
|
|
|
Lecture Notes in Computer Science |
27.07.1995 |
|
СТ |
Minimization of Timed Transition Systems |
1992 |
Alur R., Courcoubetis C., Halbwachs N., Dill D., Wong-Toi H. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |
