Model Checking

   page       BibTeX_logo.png   
Edmund M. Clarke, Orna Grumberg, Doron Peleg
The MIT Press
dicembre 1999