Some publications by Orna Grumberg
Back
Books and proceedings
Edmund M. Clarke, Orna Grumberg, and Doron A. Peled.
Model Checking
. MIT Press, 1999.
This document was translated from BibT
E
X by
bibtex2html