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