A methodology for hardware verification using compositional model checking. McMillan, K. L. Sci. Comput. Program., 37(1-3):279–309, 2000. Paper doi bibtex @article{DBLP:journals/scp/McMillan00,
author = {Kenneth L. McMillan},
title = {A methodology for hardware verification using compositional model
checking},
journal = {Sci. Comput. Program.},
volume = {37},
number = {1-3},
pages = {279--309},
year = {2000},
url = {https://doi.org/10.1016/S0167-6423(99)00030-1},
doi = {10.1016/S0167-6423(99)00030-1},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/scp/McMillan00},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"zhJSMB3sWJPNchnta","bibbaseid":"mcmillan-amethodologyforhardwareverificationusingcompositionalmodelchecking-2000","downloads":0,"creationDate":"2018-07-08T21:22:38.736Z","title":"A methodology for hardware verification using compositional model checking","author_short":["McMillan, K. L."],"year":2000,"bibtype":"article","biburl":"https://dblp.org/pid/m/KennethLMcMillan.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Kenneth","L."],"propositions":[],"lastnames":["McMillan"],"suffixes":[]}],"title":"A methodology for hardware verification using compositional model checking","journal":"Sci. Comput. Program.","volume":"37","number":"1-3","pages":"279–309","year":"2000","url":"https://doi.org/10.1016/S0167-6423(99)00030-1","doi":"10.1016/S0167-6423(99)00030-1","timestamp":"Sat, 27 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/scp/McMillan00","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/scp/McMillan00,\n author = {Kenneth L. McMillan},\n title = {A methodology for hardware verification using compositional model\n checking},\n journal = {Sci. Comput. Program.},\n volume = {37},\n number = {1-3},\n pages = {279--309},\n year = {2000},\n url = {https://doi.org/10.1016/S0167-6423(99)00030-1},\n doi = {10.1016/S0167-6423(99)00030-1},\n timestamp = {Sat, 27 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/scp/McMillan00},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["McMillan, K. L."],"key":"DBLP:journals/scp/McMillan00","id":"DBLP:journals/scp/McMillan00","bibbaseid":"mcmillan-amethodologyforhardwareverificationusingcompositionalmodelchecking-2000","role":"author","urls":{"Paper":"https://doi.org/10.1016/S0167-6423(99)00030-1"},"downloads":0,"html":""},"search_terms":["methodology","hardware","verification","using","compositional","model","checking","mcmillan"],"keywords":[],"authorIDs":[],"dataSources":["mNLXpycJZCXeu2mHY"]}