APA (7th ed.) Citation

International Conference on Theorem Provers in Circuit Design, Kumar, R., & Kropf, T. (1995). Theorem provers in circuit design: Theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings. Springer-Verlag.

Chicago Style (17th ed.) Citation

International Conference on Theorem Provers in Circuit Design, Ramayya Kumar, and Thomas Kropf. Theorem Provers in Circuit Design: Theory, Practice, and Experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : Proceedings. Berlin: Springer-Verlag, 1995.

MLA (9th ed.) Citation

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