DaftarIsitemplate

Call Number

004 Int c

Title

HYTECH: a model checker for hybrid systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 460-463

Author

Thomas A. Henzinger; Pei-Hsin Ho; Howard Wong-Toi;

Publisher

Springer, 1997

Subject

Location