Model Checking

   Info_icon.svg       BibTeX_logo.svg   
Edmund M. Clarke, Orna Grumberg, Doron Peleg
The MIT Press
December 1999