APA (7. basım) Alıntı

(1995). Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26-28, 1994 Proceedings / edited by Ramayya Kumar, Thomas Kropf.

Chicago Style (17. basım) Atıf

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

MLA (9th ed.) Atıf

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