Integration of CiNii Books functions for fiscal year 2025 has completed

Kropf, Thomas

ID:DA08971069

Search authors sharing the same name

Search Results1-3 of 3

1

Correct hardware design and verification methods : 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings

Laurence Pierre, Thomas Kropf (eds.)

Springer c1999 Lecture notes in computer science 1703

Available at 33 libraries
2

Formal hardware verification : methods and systems in comparison

Thomas Kropf (ed.)

Springer c1997 Lecture notes in computer science 1287

Available at 47 libraries
3

Theorem provers in circuit design : theory, practice and experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings

Ramayya Kumar, Thomas Kropf (eds.)

Springer c1995 Lecture notes in computer science 901

Available at 48 libraries

Search this author

Related Authors