@book{DBLP:reference/mc/2018,
  editor    = {Edmund M. Clarke and
               Thomas A. Henzinger and
               Helmut Veith and
               Roderick Bloem},
  title     = {Handbook of Model Checking},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-10575-8},
  doi       = {10.1007/978-3-319-10575-8},
  isbn      = {978-3-319-10574-1},
  timestamp = {Tue, 29 May 2018 12:30:27 +0200},
  biburl    = {https://dblp.org/rec/bib/reference/mc/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"SNv3z9sEbNurTmCM2","bibbaseid":"clarke-henzinger-veith-bloem-handbookofmodelchecking-2018","downloads":0,"creationDate":"2018-07-08T21:22:38.816Z","title":"Handbook of Model Checking","author_short":null,"year":2018,"bibtype":"book","biburl":"https://dblp.org/pid/m/KennethLMcMillan.bib","bibdata":{"bibtype":"book","type":"book","editor":[{"firstnames":["Edmund","M."],"propositions":[],"lastnames":["Clarke"],"suffixes":[]},{"firstnames":["Thomas","A."],"propositions":[],"lastnames":["Henzinger"],"suffixes":[]},{"firstnames":["Helmut"],"propositions":[],"lastnames":["Veith"],"suffixes":[]},{"firstnames":["Roderick"],"propositions":[],"lastnames":["Bloem"],"suffixes":[]}],"title":"Handbook of Model Checking","publisher":"Springer","year":"2018","url":"https://doi.org/10.1007/978-3-319-10575-8","doi":"10.1007/978-3-319-10575-8","isbn":"978-3-319-10574-1","timestamp":"Tue, 29 May 2018 12:30:27 +0200","biburl":"https://dblp.org/rec/bib/reference/mc/2018","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@book{DBLP:reference/mc/2018,\n editor = {Edmund M. Clarke and\n Thomas A. Henzinger and\n Helmut Veith and\n Roderick Bloem},\n title = {Handbook of Model Checking},\n publisher = {Springer},\n year = {2018},\n url = {https://doi.org/10.1007/978-3-319-10575-8},\n doi = {10.1007/978-3-319-10575-8},\n isbn = {978-3-319-10574-1},\n timestamp = {Tue, 29 May 2018 12:30:27 +0200},\n biburl = {https://dblp.org/rec/bib/reference/mc/2018},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Clarke, E. M.","Henzinger, T. A.","Veith, H.","Bloem, R."],"key":"DBLP:reference/mc/2018","id":"DBLP:reference/mc/2018","bibbaseid":"clarke-henzinger-veith-bloem-handbookofmodelchecking-2018","role":"editor","urls":{"Paper":"https://doi.org/10.1007/978-3-319-10575-8"},"downloads":0,"html":""},"search_terms":["handbook","model","checking"],"keywords":[],"authorIDs":[],"dataSources":["mNLXpycJZCXeu2mHY"]}