[{"publist_id":"97","publication_identifier":{"isbn":["978-3-540-61155-4"],"issn":["0302-9743"]},"place":"Berlin ; Heidelberg","intvolume":"      1066","alternative_title":["LNCS"],"status":"public","date_created":"2018-12-11T12:09:45Z","month":"01","page":"IX, 619","volume":1066,"date_published":"1996-01-01T00:00:00Z","publisher":"Springer","editor":[{"full_name":"Alur, Rajeev","first_name":"Rajeev","last_name":"Alur"},{"last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A"},{"full_name":"Sontag, Eduardo D","first_name":"Eduardo D","last_name":"Sontag"}],"doi":"10.1007/BFb0020931","language":[{"iso":"eng"}],"_id":"4612","title":"Hybrid Systems III: Verification and Control","publication_status":"published","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","quality_controlled":"1","article_processing_charge":"No","extern":"1","citation":{"apa":"Alur, R., Henzinger, T. A., &#38; Sontag, E. D. (Eds.). (1996). <i>Hybrid Systems III: Verification and Control</i> (Vol. 1066). Berlin ; Heidelberg: Springer. <a href=\"https://doi.org/10.1007/BFb0020931\">https://doi.org/10.1007/BFb0020931</a>","mla":"Alur, Rajeev, et al., editors. <i>Hybrid Systems III: Verification and Control</i>. Vol. 1066, Springer, 1996, doi:<a href=\"https://doi.org/10.1007/BFb0020931\">10.1007/BFb0020931</a>.","ama":"Alur R, Henzinger TA, Sontag ED, eds. <i>Hybrid Systems III: Verification and Control</i>. Vol 1066. Berlin ; Heidelberg: Springer; 1996. doi:<a href=\"https://doi.org/10.1007/BFb0020931\">10.1007/BFb0020931</a>","ieee":"R. Alur, T. A. Henzinger, and E. D. Sontag, Eds., <i>Hybrid Systems III: Verification and Control</i>, vol. 1066. Berlin ; Heidelberg: Springer, 1996.","chicago":"Alur, Rajeev, Thomas A Henzinger, and Eduardo D Sontag, eds. <i>Hybrid Systems III: Verification and Control</i>. Vol. 1066. Lecture Notes in Computer Science. Berlin ; Heidelberg: Springer, 1996. <a href=\"https://doi.org/10.1007/BFb0020931\">https://doi.org/10.1007/BFb0020931</a>.","short":"R. Alur, T.A. Henzinger, E.D. Sontag, eds., Hybrid Systems III: Verification and Control, Springer, Berlin ; Heidelberg, 1996.","ista":"Alur R, Henzinger TA, Sontag ED eds. 1996. Hybrid Systems III: Verification and Control, Berlin ; Heidelberg: Springer, IX, 619p."},"day":"01","year":"1996","type":"book_editor","date_updated":"2021-12-22T13:57:33Z","series_title":"Lecture Notes in Computer Science","oa_version":"None"}]