Wolfgang J. Paul
3 published titles
Computer architecture : complexity and correctness
(Contributor)
1 edition
- ISBN: 3540674810
- Springer
- 2000
- Details
Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, Charme 2005, Saarbrüchen, Germany, October 3-6, 2005 : proceedings
(Contributor)
1 edition
- ISBN: 9783540291053
- Springer
- 2005
- Details
A pipelined multi-core mips machine : hardware implementation and correctness proof
(Contributor)
1 edition
- ISBN: 9783319139050
- Springer
- 2014
- Details
