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-Zitierstil (17. Ausg.)International Conference on Theorem Provers in Circuit Design, Ramayya Kumar, und 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-Zitierstil (9. Ausg.)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.