Automatic generation and verification of transaction level models /
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | English |
| Publicado: |
Irvine, Calif.,
2009.
|
| Materias: |
| Notas: | Tesis (doctorado)--University of California, 2009 |
|---|---|
| Descripción Física: | xx, 160 hojas : ilustraciones |