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