Model Checking

@book{modelchecking-book1999,
   apice = {ModelcheckingBook1999},
   author = {Edmund M. Clarke and Orna Grumberg and Doron Peleg},
   booktitle = {Model Checking},
   isbn = {9780262032704},
   month = dec,
   publisher = {The MIT Press},
   title = {Model Checking},
   url = {http://mitpress.mit.edu/books/model-checking},
   year = 1999
}