APA (7th ed.) Citation

SpringerLink (Online service), Pierre, L., & Kropf, T. (1999). Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings (1st ed. 1999.). Springer Berlin Heidelberg : Imprint: Springer. https://doi.org/10.1007/3-540-48153-2

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Laurence Pierre, and Thomas Kropf. Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings. 1st ed. 1999. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 1999. https://doi.org/10.1007/3-540-48153-2.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings. 1st ed. 1999. Springer Berlin Heidelberg : Imprint: Springer, 1999. https://doi.org/10.1007/3-540-48153-2.