Behavioural abstraction and circuit verification using Circal.
Edición de la obra Behavioural abstraction and circuit verification using Circal
| Autor | Mauro Pezze |
|---|---|
| Editorial | University of Edinburgh, Department ofComputer Science |
| Fecha de publicación | 1987 |
| Lugar | Edinburgh |
| Idioma | inglés |
| Páginas | 34 |
| Serie | Internal report -- CSR 251-87 |
| Número de Cutter | P522b |