Handbook of Model Checking

By Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem. Cambridge International Law Journal, 2018

568 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/9d3cfc952584ae5a45947084efb2e140ca8178aa