Kropf, Thomas.
概要
| 作品: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal hardware verification = methods and systems in comparison /
by:
Kropf, Thomas.; SpringerLink (Online service)
(Language materials, printed)
Correct hardware design and verification methods = 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings /
by:
CHARME'99 ((1999 :); Kropf, Thomas.; Pierre, Laurence.; SpringerLink (Online service)
(Electronic resources)