APA (7th ed.) Citation

(1995). Theorem provers in circuit design: Theory, practice and experience ; second international conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

Theorem Provers in Circuit Design: Theory, Practice and Experience ; Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994 ; Proceedings. Berlin u.a: Springer, 1995.

MLA (9th ed.) Citation

Theorem Provers in Circuit Design: Theory, Practice and Experience ; Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994 ; Proceedings. Springer, 1995.