---
_id: '4612'
alternative_title:
- LNCS
article_processing_charge: No
citation:
  ama: 'Alur R, Henzinger TA, Sontag ED, eds. <i>Hybrid Systems III: Verification
    and Control</i>. Vol 1066. Berlin ; Heidelberg: Springer; 1996. doi:<a href="https://doi.org/10.1007/BFb0020931">10.1007/BFb0020931</a>'
  apa: 'Alur, R., Henzinger, T. A., &#38; Sontag, E. D. (Eds.). (1996). <i>Hybrid
    Systems III: Verification and Control</i> (Vol. 1066). Berlin ; Heidelberg: Springer.
    <a href="https://doi.org/10.1007/BFb0020931">https://doi.org/10.1007/BFb0020931</a>'
  chicago: 'Alur, Rajeev, Thomas A Henzinger, and Eduardo D Sontag, eds. <i>Hybrid
    Systems III: Verification and Control</i>. Vol. 1066. Lecture Notes in Computer
    Science. Berlin ; Heidelberg: Springer, 1996. <a href="https://doi.org/10.1007/BFb0020931">https://doi.org/10.1007/BFb0020931</a>.'
  ieee: 'R. Alur, T. A. Henzinger, and E. D. Sontag, Eds., <i>Hybrid Systems III:
    Verification and Control</i>, vol. 1066. Berlin ; Heidelberg: Springer, 1996.'
  ista: 'Alur R, Henzinger TA, Sontag ED eds. 1996. Hybrid Systems III: Verification
    and Control, Berlin ; Heidelberg: Springer, IX, 619p.'
  mla: 'Alur, Rajeev, et al., editors. <i>Hybrid Systems III: Verification and Control</i>.
    Vol. 1066, Springer, 1996, doi:<a href="https://doi.org/10.1007/BFb0020931">10.1007/BFb0020931</a>.'
  short: 'R. Alur, T.A. Henzinger, E.D. Sontag, eds., Hybrid Systems III: Verification
    and Control, Springer, Berlin ; Heidelberg, 1996.'
date_created: 2018-12-11T12:09:45Z
date_published: 1996-01-01T00:00:00Z
date_updated: 2021-12-22T13:57:33Z
day: '01'
doi: 10.1007/BFb0020931
editor:
- first_name: Rajeev
  full_name: Alur, Rajeev
  last_name: Alur
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Eduardo D
  full_name: Sontag, Eduardo D
  last_name: Sontag
extern: '1'
intvolume: '      1066'
language:
- iso: eng
month: '01'
oa_version: None
page: IX, 619
place: Berlin ; Heidelberg
publication_identifier:
  isbn:
  - 978-3-540-61155-4
  issn:
  - 0302-9743
publication_status: published
publisher: Springer
publist_id: '97'
quality_controlled: '1'
series_title: Lecture Notes in Computer Science
status: public
title: 'Hybrid Systems III: Verification and Control'
type: book_editor
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 1066
year: '1996'
...