✓

@Book{HanbookModelChecking:2018,
  Editor        = "Clarke, Edmund M. and Henzinger, Thomas A. and Veith, Helmut and Bloem, Roderick",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  ISBN          = "978-3-319-10574-1,978-3-030-13233-0,978-3-319-10575-8",
  publisher     = {Springer International Publishing},
  Title         = "Handbook of Model Checking",
  url           = {http://dx.doi.org/10.1007/978-3-319-10575-8},
  doi           = {10.1007/978-3-319-10575-8},
  Year          = "2018",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=7af04e679deaf243a9448ae5677de0a9",
  File          = "Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem (eds.)-Handbook of Model Checking-Springer (2018) (0) - a - a.pdf"
}

@Book{HanbookModelChecking:2018, Editor = "Clarke, Edmund M. and Henzinger, Thomas A. and Veith, Helmut and Bloem, Roderick", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", ISBN = "978-3-319-10574-1,978-3-030-13233-0,978-3-319-10575-8", publisher = {Springer International Publishing}, Title = "Handbook of Model Checking", url = {http://dx.doi.org/10.1007/978-3-319-10575-8}, doi = {10.1007/978-3-319-10575-8}, Year = "2018", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=7af04e679deaf243a9448ae5677de0a9", File = "Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem (eds.)-Handbook of Model Checking-Springer (2018) (0) - a - a.pdf" }