Induction in Compositional Model Checking. McMillan, K. L., Qadeer, S., & Saxe, J. B. In Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings, pages 312–327, 2000. Paper doi bibtex @inproceedings{DBLP:conf/cav/McMillanQS00,
author = {Kenneth L. McMillan and
Shaz Qadeer and
James B. Saxe},
title = {Induction in Compositional Model Checking},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
pages = {312--327},
year = {2000},
crossref = {DBLP:conf/cav/2000},
url = {https://doi.org/10.1007/10722167\_25},
doi = {10.1007/10722167\_25},
timestamp = {Wed, 24 May 2017 15:40:41 +0200},
biburl = {https://dblp.org/rec/bib/conf/cav/McMillanQS00},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"FpjA4dKS8mYyXDBSz","bibbaseid":"mcmillan-qadeer-saxe-inductionincompositionalmodelchecking-2000","downloads":0,"creationDate":"2018-07-08T21:22:38.738Z","title":"Induction in Compositional Model Checking","author_short":["McMillan, K. L.","Qadeer, S.","Saxe, J. B."],"year":2000,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/m/KennethLMcMillan.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Kenneth","L."],"propositions":[],"lastnames":["McMillan"],"suffixes":[]},{"firstnames":["Shaz"],"propositions":[],"lastnames":["Qadeer"],"suffixes":[]},{"firstnames":["James","B."],"propositions":[],"lastnames":["Saxe"],"suffixes":[]}],"title":"Induction in Compositional Model Checking","booktitle":"Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings","pages":"312–327","year":"2000","crossref":"DBLP:conf/cav/2000","url":"https://doi.org/10.1007/10722167_25","doi":"10.1007/10722167_25","timestamp":"Wed, 24 May 2017 15:40:41 +0200","biburl":"https://dblp.org/rec/bib/conf/cav/McMillanQS00","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cav/McMillanQS00,\n author = {Kenneth L. McMillan and\n Shaz Qadeer and\n James B. Saxe},\n title = {Induction in Compositional Model Checking},\n booktitle = {Computer Aided Verification, 12th International Conference, {CAV}\n 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},\n pages = {312--327},\n year = {2000},\n crossref = {DBLP:conf/cav/2000},\n url = {https://doi.org/10.1007/10722167\\_25},\n doi = {10.1007/10722167\\_25},\n timestamp = {Wed, 24 May 2017 15:40:41 +0200},\n biburl = {https://dblp.org/rec/bib/conf/cav/McMillanQS00},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["McMillan, K. L.","Qadeer, S.","Saxe, J. B."],"key":"DBLP:conf/cav/McMillanQS00","id":"DBLP:conf/cav/McMillanQS00","bibbaseid":"mcmillan-qadeer-saxe-inductionincompositionalmodelchecking-2000","role":"author","urls":{"Paper":"https://doi.org/10.1007/10722167_25"},"downloads":0,"html":""},"search_terms":["induction","compositional","model","checking","mcmillan","qadeer","saxe"],"keywords":[],"authorIDs":[],"dataSources":["mNLXpycJZCXeu2mHY"]}