Some publications by Doron A. Peled

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