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