TY  - BOOK
AU  - Henzinger, T.A.: Sastry, S.:
TI  - Hybrid Systems : Computation and Control : Lecture Notes in Computer Science:Proceedings
SN  - 0003540643583
U1  - 004 
PB  - Springer: Tokyo
KW  - Computer Science
ER  -