Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, TPCD 94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ramayya Kumar, Thomas Kropf, editors, Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, TPCD 94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings. Volume 901 of Lecture Notes in Computer Science, Springer, 1994.

Conference: tpcd1994

This author has not been identified. Look up 'Ramayya Kumar' in GoogleThis author has not been identified. Look up 'Thomas Kropf' in Google

runs on WebDSL