APA (7th ed.) Citation

Kumar, R., & Kropf, T. (1995). Theorem Provers in Circuit Design: Theory, Practice and Experience. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

Kumar, Ramayya, and Thomas Kropf. Theorem Provers in Circuit Design: Theory, Practice and Experience. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995.

MLA (9th ed.) Citation

Kumar, Ramayya, and Thomas Kropf. Theorem Provers in Circuit Design: Theory, Practice and Experience. Springer Berlin Heidelberg, 1995.