Some publications by Edmund M. Clarke

Back

Books and proceedings
  1. Edmund M. Clarke, Orna Grumberg, and Doron A. Peled. Model Checking. MIT Press, 1999.



This document was translated from BibTEX by bibtex2html