placeholder image

Straube, Bernd

Person

Positions

selected publications

chapter
- Formal Verification of a Reconfigurable Microprocessor. Springer eBooks. 781-784. 2000

full name

Bernd Straube

Publications in VIVO

Co-author Network