Semantics and verification of a language for modelling hardware architectures | Michael R. Hansen, Jan Madsen, Aske Wiid Brekling
| | Type | Book [Chapter] | | Book title | | | Editors | Cliff Jones and Jim Woodcock | | Year | 2007 | | Publisher | Springer-Verlag | | Series | LNCS | | Note | to appear | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|