TY  - BOOK
AU  - Alur,Rajeev
AU  - Henzinger,Thomas A.
AU  - Sontag,Eduardo D.
ED  - DIMACS/Sycon Workshop on Verification and Control of Hybrid Systems
TI  - Hybrid systems III: verification and control 
SN  - 354061155X
AV  - QA76.38 H94 1996
PY  - 1996///
CY  - Berlin
PB  - Springer
KW  - Hybrid computers
KW  - Congresses
KW  - Digital control systems
N1  - The proceedings of the DIMACS/Sycon Workshop on Verification and Control of Hybrid Systems, organized October 22-25, 1995 at Rutgers University in New Brunswick, New Jersey
ER  -