Computer Science Department
Edmund M. Clarke
Selected Publications
Content for class "clear" Goes Here
Model Checking
Edmund M. Clarke, Orna Grumberg and Doron A. Peled
MIT Press, 1999.

For a complete list of all my papers, consult my Curriculum Vitae.

Electronic versions of many of my papers can obtained from the Publications web page.



Content for class "clear" Goes Here