Hybrid Systems III: Verification and Control

R. Alur, T.A. Henzinger, E.D. Sontag, eds., Hybrid Systems III: Verification and Control, Springer, 1996.

Download
No fulltext has been uploaded. References only!

Book (Editor) | Published | English
Editor
; ;
Series Title
LNCS
Publishing Year
Date Published
1996-01-01
Volume
1066
Page
619
ISSN
IST-REx-ID

Cite this

Alur R, Henzinger TA, Sontag ED, eds. Hybrid Systems III: Verification and Control. Vol 1066. Springer; 1996. doi:10.1007/BFb0020931
Alur, R., Henzinger, T. A., & Sontag, E. D. (Eds.). (1996). Hybrid Systems III: Verification and Control (Vol. 1066). 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. 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. Springer, 1996.
Alur R, Henzinger TA, Sontag ED eds. 1996. Hybrid Systems III: Verification and Control, Springer, 619p.
Alur, Rajeev, et al., editors. Hybrid Systems III: Verification and Control. Vol. 1066, Springer, 1996, doi:10.1007/BFb0020931.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar
ISBN Search