Kropf, Thomas.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal hardware verificationmethods and systems in comparison /
by:
Kropf, Thomas.; SpringerLink (Online service)
(Electronic resources)
Correct hardware design and verification methods10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings /
by:
(1998 :); Kropf, Thomas.; Pierre, Laurence.; SpringerLink (Online service)
(Electronic resources)