{"intvolume":"      1102","alternative_title":["LNCS"],"date_updated":"2022-07-06T07:38:10Z","editor":[{"orcid":"0000-0002-2985-7724","first_name":"Thomas A","full_name":"Henzinger, Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Alur","first_name":"Rajeev","full_name":"Alur, Rajeev"}],"date_created":"2018-12-11T12:09:36Z","status":"public","year":"1996","day":"01","article_processing_charge":"No","date_published":"1996-01-01T00:00:00Z","language":[{"iso":"eng"}],"publist_id":"122","extern":"1","main_file_link":[{"url":"https://link.springer.com/book/10.1007/3-540-61474-5"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publisher":"Springer","volume":1102,"conference":{"start_date":"1996-07-31","location":"New Brunswick, NJ, United States of America","end_date":"1996-08-03","name":"CAV: Computer Aided Verification"},"publication_status":"published","_id":"4585","doi":"10.1007/3-540-61474-5","title":" 8th International Conference on Computer Aided Verification","month":"01","oa_version":"None","type":"conference_editor","citation":{"ieee":"T. A. Henzinger and R. Alur, Eds., <i> 8th International Conference on Computer Aided Verification</i>, vol. 1102. Springer, 1996.","mla":"Henzinger, Thomas A., and Rajeev Alur, editors. <i> 8th International Conference on Computer Aided Verification</i>. Vol. 1102, Springer, 1996, doi:<a href=\"https://doi.org/10.1007/3-540-61474-5\">10.1007/3-540-61474-5</a>.","chicago":"Henzinger, Thomas A, and Rajeev Alur, eds. <i> 8th International Conference on Computer Aided Verification</i>. Vol. 1102. Springer, 1996. <a href=\"https://doi.org/10.1007/3-540-61474-5\">https://doi.org/10.1007/3-540-61474-5</a>.","ama":"Henzinger TA, Alur R, eds. <i> 8th International Conference on Computer Aided Verification</i>. Vol 1102. Springer; 1996. doi:<a href=\"https://doi.org/10.1007/3-540-61474-5\">10.1007/3-540-61474-5</a>","ista":"Henzinger TA, Alur R eds. 1996.  8th International Conference on Computer Aided Verification, Springer,p.","apa":"Henzinger, T. A., &#38; Alur, R. (Eds.). (1996). <i> 8th International Conference on Computer Aided Verification</i> (Vol. 1102). Presented at the CAV: Computer Aided Verification, New Brunswick, NJ, United States of America: Springer. <a href=\"https://doi.org/10.1007/3-540-61474-5\">https://doi.org/10.1007/3-540-61474-5</a>","short":"T.A. Henzinger, R. Alur, eds.,  8th International Conference on Computer Aided Verification, Springer, 1996."}}