---
_id: '4430'
alternative_title:
- LNCS
article_processing_charge: No
citation:
  ama: 'Henzinger TA, ed. <i>HSCC: Hybrid Systems—Computation and Control</i>. Vol
    1386. Springer; 1998. doi:<a href="https://doi.org/10.1007/3-540-64358-3">10.1007/3-540-64358-3</a>'
  apa: 'Henzinger, T. A. (Ed.). (1998). <i>HSCC: Hybrid Systems—Computation and Control</i>
    (Vol. 1386). Presented at the HSCC: Hybrid Systems: Computation and Control, Berkeley,
    CA, United States of America: Springer. <a href="https://doi.org/10.1007/3-540-64358-3">https://doi.org/10.1007/3-540-64358-3</a>'
  chicago: 'Henzinger, Thomas A, ed. <i>HSCC: Hybrid Systems—Computation and Control</i>.
    Vol. 1386. Springer, 1998. <a href="https://doi.org/10.1007/3-540-64358-3">https://doi.org/10.1007/3-540-64358-3</a>.'
  ieee: 'T. A. Henzinger, Ed., <i>HSCC: Hybrid Systems—Computation and Control</i>,
    vol. 1386. Springer, 1998.'
  ista: 'Henzinger TA ed. 1998. HSCC: Hybrid Systems—Computation and Control, Springer,p.'
  mla: 'Henzinger, Thomas A., editor. <i>HSCC: Hybrid Systems—Computation and Control</i>.
    Vol. 1386, Springer, 1998, doi:<a href="https://doi.org/10.1007/3-540-64358-3">10.1007/3-540-64358-3</a>.'
  short: 'T.A. Henzinger, ed., HSCC: Hybrid Systems—Computation and Control, Springer,
    1998.'
conference:
  end_date: 1998-04-15
  location: Berkeley, CA, United States of America
  name: 'HSCC: Hybrid Systems: Computation and Control'
  start_date: 1998-04-13
date_created: 2018-12-11T12:08:49Z
date_published: 1998-01-01T00:00:00Z
date_updated: 2022-08-24T11:36:03Z
day: '01'
doi: 10.1007/3-540-64358-3
editor:
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000-0002-2985-7724
extern: '1'
intvolume: '      1386'
language:
- iso: eng
month: '01'
oa_version: None
publication_identifier:
  isbn:
  - 978-3-540-64358-6
publication_status: published
publisher: Springer
publist_id: '300'
status: public
title: 'HSCC: Hybrid Systems—Computation and Control'
type: conference_editor
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
volume: 1386
year: '1998'
...