{"date_created":"2018-12-11T12:08:54Z","citation":{"short":"T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.), 4th International Hybrid Systems Workshop, Springer, 1995, pp. 265–293.","ista":"Henzinger TA, Ho P. 1995. HyTech: The Cornell Hybrid Technology Tool. 4th International Hybrid Systems Workshop. Hybrid Systems IIILNCS, LNCS, vol. 999, 265–293.","ieee":"T. A. Henzinger and P. Ho, “HyTech: The Cornell Hybrid Technology Tool,” in <i>4th International Hybrid Systems Workshop</i>,  New Brunswick, NJ, United States of America, 1995, vol. 999, pp. 265–293.","ama":"Henzinger TA, Ho P. HyTech: The Cornell Hybrid Technology Tool. In: Panos A, Kohn W, Nerode A, Sastry S, eds. <i>4th International Hybrid Systems Workshop</i>. Vol 999. LNCS. Springer; 1995:265-293. doi:<a href=\"https://doi.org/10.1007/3-540-60472-3_14\">10.1007/3-540-60472-3_14</a>","mla":"Henzinger, Thomas A., and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.” <i>4th International Hybrid Systems Workshop</i>, edited by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 265–93, doi:<a href=\"https://doi.org/10.1007/3-540-60472-3_14\">10.1007/3-540-60472-3_14</a>.","chicago":"Henzinger, Thomas A, and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.” In <i>4th International Hybrid Systems Workshop</i>, edited by Antsaklis Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:265–93. LNCS. Springer, 1995. <a href=\"https://doi.org/10.1007/3-540-60472-3_14\">https://doi.org/10.1007/3-540-60472-3_14</a>.","apa":"Henzinger, T. A., &#38; Ho, P. (1995). HyTech: The Cornell Hybrid Technology Tool. In A. Panos, W. Kohn, A. Nerode, &#38; S. Sastry (Eds.), <i>4th International Hybrid Systems Workshop</i> (Vol. 999, pp. 265–293).  New Brunswick, NJ, United States of America: Springer. <a href=\"https://doi.org/10.1007/3-540-60472-3_14\">https://doi.org/10.1007/3-540-60472-3_14</a>"},"type":"conference","title":"HyTech: The Cornell Hybrid Technology Tool","date_updated":"2022-06-10T11:24:15Z","month":"01","acknowledgement":"This research was supported in part by the National Science Foundation under grant CCR-9200794, by the Air Force Office of Scientific Research under contract F49620-93-1-0056, by the Office of Naval Research under YIP grant N00014-95-1-0520, and by the Defense Advanced Research Projects Agency under grant NAG2-892.","article_processing_charge":"No","publisher":"Springer","year":"1995","abstract":[{"lang":"eng","text":"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."}],"publication_identifier":{"isbn":["9783540683346"]},"oa_version":"None","editor":[{"first_name":"Antsaklis","full_name":"Panos, Antsaklis","last_name":"Panos"},{"first_name":"Wolf","last_name":"Kohn","full_name":"Kohn, Wolf"},{"full_name":"Nerode, Anil","last_name":"Nerode","first_name":"Anil"},{"first_name":"Shankar","last_name":"Sastry","full_name":"Sastry, Shankar"}],"status":"public","extern":"1","series_title":"LNCS","date_published":"1995-01-01T00:00:00Z","publication":"4th International Hybrid Systems Workshop","day":"01","publication_status":"published","conference":{"location":" New Brunswick, NJ, United States of America","end_date":"1955-10-25","name":"Hybrid Systems III","start_date":"1995-10-22"},"doi":"10.1007/3-540-60472-3_14","author":[{"full_name":"Henzinger, Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","first_name":"Thomas A"},{"full_name":"Ho, Pei","last_name":"Ho","first_name":"Pei"}],"volume":999,"alternative_title":["LNCS"],"_id":"4447","intvolume":"       999","quality_controlled":"1","publist_id":"281","language":[{"iso":"eng"}],"main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/3-540-60472-3_14"}],"page":"265 - 293","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17"}