Вы здесь

Ho P. -H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ 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
П A User Guide to HyTech 1996 Henzinger T. A., Ho P. -H., Wong-Toi H. Basic Research in Computer Science 21.01.1997