{
  "book": {
    "authors": [
      "Edmund M. Clarke",
      "Thomas A. Henzinger",
      "Helmut Veith",
      "Roderick Bloem"
    ],
    "authorship": "known",
    "publisher": "Springer International Publishing AG",
    "title": "Handbook of Model Checking"
  },
  "cached": true,
  "citations": {
    "apa": "Clarke, E. M., Henzinger, T. A., Veith, H., \u0026 Bloem, R. (2018). Handbook of Model Checking. Springer International Publishing AG.",
    "bibtex": "@book{isbn9783319105741,\n  title = {Handbook of Model Checking},\n  author = {{Edmund M. Clarke} and {Thomas A. Henzinger} and {Helmut Veith} and {Roderick Bloem}},\n  publisher = {Springer International Publishing AG},\n  year = {2018},\n  language = {eng},\n  isbn = {9783319105741},\n}",
    "chicago": "Clarke, Edmund M., Thomas A. Henzinger, Helmut Veith, and Roderick Bloem. Handbook of Model Checking. Springer International Publishing AG, 2018.",
    "mla": "Clarke, Edmund M., et al. Handbook of Model Checking. Springer International Publishing AG, 2018.",
    "wp": "{{cite book |title=Handbook of Model Checking |author1=Edmund M. Clarke |author2=Thomas A. Henzinger |author3=Helmut Veith |author4=Roderick Bloem |publisher=Springer International Publishing AG |year=2018 |language=en |isbn=9783319105741}}"
  },
  "consulted": {
    "answered": 1,
    "consulted": 1,
    "not_asked": 0,
    "not_held": 0
  },
  "found": true,
  "isbn": {
    "input": "9783319105741",
    "isbn13": "9783319105741",
    "normalized": "9783319105741",
    "valid": true
  },
  "ok": true,
  "quality": {
    "state": "partial",
    "omissions": [
      {
        "field": "issued",
        "reason": "missing_evidence"
      },
      {
        "field": "responsibility",
        "reason": "unverified_roles"
      }
    ]
  },
  "supported_styles": [
    "mla",
    "apa",
    "chicago",
    "wp",
    "bibtex"
  ]
}