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