Hybrid Systems III: Verification and Control
Alur R, Henzinger TA, Sontag ED eds. 1996. Hybrid Systems III: Verification and Control, Berlin ; Heidelberg: Springer, IX, 619p.
Download
No fulltext has been uploaded. References only!
Book (Editor)
| Published
| English
Editor
Alur, Rajeev;
Henzinger, Thomas AISTA 
;
Sontag, Eduardo D
;
Sontag, Eduardo DSeries Title
LNCS
Publishing Year
Date Published
1996-01-01
Volume
1066
Page
IX, 619
ISBN
ISSN
IST-REx-ID
Cite this
Alur R, Henzinger TA, Sontag ED, eds. Hybrid Systems III: Verification and Control. Vol 1066. Berlin ; Heidelberg: Springer; 1996. doi:10.1007/BFb0020931
Alur, R., Henzinger, T. A., & Sontag, E. D. (Eds.). (1996). Hybrid Systems III: Verification and Control (Vol. 1066). Berlin ; Heidelberg: Springer. https://doi.org/10.1007/BFb0020931
Alur, Rajeev, Thomas A Henzinger, and Eduardo D Sontag, eds. Hybrid Systems III: Verification and Control. Vol. 1066. Lecture Notes in Computer Science. Berlin ; Heidelberg: Springer, 1996. https://doi.org/10.1007/BFb0020931.
R. Alur, T. A. Henzinger, and E. D. Sontag, Eds., Hybrid Systems III: Verification and Control, vol. 1066. Berlin ; Heidelberg: Springer, 1996.
Alur R, Henzinger TA, Sontag ED eds. 1996. Hybrid Systems III: Verification and Control, Berlin ; Heidelberg: Springer, IX, 619p.
Alur, Rajeev, et al., editors. Hybrid Systems III: Verification and Control. Vol. 1066, Springer, 1996, doi:10.1007/BFb0020931.
Google Scholar
ISBN Search