Cui Zhang, Becker, B., Peticolas, D., Heckman, M., Levitt, K. und Olsson, R. (1997) „Verification of a distributed computing system by layered proofs“, in. doi:10.1109/HICSS.1997.663181.
Chicago Manual of Style 17th edition (full note)Cui Zhang, B.R. Becker, D. Peticolas, M. Heckman, K. Levitt, und R.A. Olsson. „Verification of a Distributed Computing System by Layered Proofs“. In, , Bd. 5. https://doi.org/10.1109/HICSS.1997.663181.
American Psychological Association 7th editionCui Zhang, Becker, B., Peticolas, D., Heckman, M., Levitt, K., & Olsson, R. (1997). Verification of a distributed computing system by layered proofs. 5. https://doi.org/10.1109/HICSS.1997.663181
Modern Language Association 9th editionCui Zhang, B. Becker, D. Peticolas, M. Heckman, K. Levitt, und R. Olsson. Verification of a Distributed Computing System by Layered Proofs. 1997, https://doi.org/10.1109/HICSS.1997.663181.
ISO-690 (author-date, Deutsch)CUI ZHANG, B.R. BECKER, D. PETICOLAS, M. HECKMAN, K. LEVITT und R.A. OLSSON, 1997. Verification of a distributed computing system by layered proofs. In: . 1 Januar 1997