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 Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings TPCD Lecture Notes in Computer Science 901 Springer 1994 3-540-59047-1 db/conf/tpcd/tpcd1994.html