【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Probst, David Karl

ID:DA07449607

Alias Name

David Karl Probst

D. K, Probst

Search authors sharing the same name

Search Results1-2 of 2

1

Advances in hardware design and verification : IFIP TC10 WG10.5 International Conference on Correct Hardware and Verification Methods, 16-18 October 1997, Montreal Canada

edited by Hon F. Li and David K. Probst

Chapman & Hall on behalf of the International Federation for Information Processing (IFIP) 1997

Available at 5 libraries
2

Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings

G.v. Bochmann, D.K. Probst (eds.)

Springer-Verlag c1993 Lecture notes in computer science 663

: us , : gw

Available at 59 libraries

Search this author

Related Authors