Handbook of Model Checking

Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem · Springer International Publishing AG

Chicago

Clarke, Edmund M., Thomas A. Henzinger, Helmut Veith, and Roderick Bloem. Handbook of Model Checking. Springer International Publishing AG, 2018.

Download Chicago

Before you use it

• The catalog gives 2018 without saying it is the publication year: check it against your copy
• More on Chicago bibliography entries

JSON API: one request returns all five styles, normalized ISBN identity, and available quality and uncertainty fields. A 200 {found:false} response ends the immediate lookup attempt. Temporary failures carry retry guidance.

Cookie-free aggregate counts of client-reported copy, download initiation and JSON-link activation help us understand usefulness. Browser privacy opt-outs are honored.