[{"month":"01","intvolume":" 1386","alternative_title":[],"oa_version":"None","volume":1386,"date_published":"1998-01-01T00:00:00Z","date_created":"2018-12-11T12:08:49Z","uri_base":"https://research-explorer.ista.ac.at","day":"01","dc":{"creator":["Henzinger, Thomas A"],"language":["eng"],"rights":["info:eu-repo/semantics/closedAccess"],"title":["HSCC: Hybrid Systems—Computation and Control","LNCS"],"identifier":["https://research-explorer.ista.ac.at/record/4430"],"relation":["info:eu-repo/semantics/altIdentifier/doi/10.1007/3-540-64358-3","info:eu-repo/semantics/altIdentifier/isbn/978-3-540-64358-6"],"source":["Henzinger TA, ed. HSCC: Hybrid Systems—Computation and Control. Vol 1386. Springer; 1998. doi:10.1007/3-540-64358-3"],"type":["info:eu-repo/semantics/other","doc-type:other","text","http://purl.org/coar/resource_type/c_f744"],"publisher":["Springer"],"date":["1998"]},"language":[{}],"publication_identifier":{"isbn":[]},"publication_status":"published","status":"public","type":"conference_editor","conference":{"name":"HSCC: Hybrid Systems: Computation and Control","end_date":"1998-04-15","location":"Berkeley, CA, United States of America","start_date":"1998-04-13"},"_id":"4430","editor":[{"orcid":"0000-0002-2985-7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A"}],"publist_id":"300","article_processing_charge":"No","extern":"1","creator":{"id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","login":"alisjak"},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"ista":"Henzinger TA ed. 1998. HSCC: Hybrid Systems—Computation and Control, Springer,p.","chicago":"Henzinger, Thomas A, ed. HSCC: Hybrid Systems—Computation and Control. Vol. 1386. Springer, 1998. https://doi.org/10.1007/3-540-64358-3.","short":"T.A. Henzinger, ed., HSCC: Hybrid Systems—Computation and Control, Springer, 1998.","ieee":"T. A. Henzinger, Ed., HSCC: Hybrid Systems—Computation and Control, vol. 1386. Springer, 1998.","apa":"Henzinger, T. A. (Ed.). (1998). HSCC: Hybrid Systems—Computation and Control (Vol. 1386). Presented at the HSCC: Hybrid Systems: Computation and Control, Berkeley, CA, United States of America: Springer. https://doi.org/10.1007/3-540-64358-3","mla":"Henzinger, Thomas A., editor. HSCC: Hybrid Systems—Computation and Control. Vol. 1386, Springer, 1998, doi:10.1007/3-540-64358-3."},"dini_type":"doc-type:other","date_updated":"2022-08-24T11:36:03Z"}]