Automatic generation and verification of transaction level models - Lo Chi Yu Lo, Lucky (2009)
Tesis (doctorado)--University of California, 2009