@inproceedings{4447,
  abstract     = {This paper is addressed to potential users of HyTech, the Cornell Hybrid Technology Tool, an automatic tool for analyzing hybrid systems. We review the formal technologies that have been incorporated into HyTech, and we illustrate the use of HyTech with three nontrivial case studies.},
  author       = {Henzinger, Thomas A and Ho, Pei},
  booktitle    = {4th International Hybrid Systems Workshop},
  editor       = {Panos, Antsaklis and Kohn, Wolf and Nerode, Anil and Sastry, Shankar},
  isbn         = {9783540683346},
  location     = { New Brunswick, NJ, United States of America},
  pages        = {265 -- 293},
  publisher    = {Springer},
  title        = {{HyTech: The Cornell Hybrid Technology Tool}},
  doi          = {10.1007/3-540-60472-3_14},
  volume       = {999},
  year         = {1995},
}