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