Ball, T. und Jones, R.B. (Hrsg.) (2006) „Computer Aided Verification : 18 th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings“, Theoretical Computer Science and General Issues. 1 st ed. 2006. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/11817963.
Chicago Manual of Style 17th edition (full note)Ball, Thomas, und Robert B Jones, Hrsg. „Computer Aided Verification : 18 th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings“. Cd. Theoretical Computer Science and General Issues. Berlin, Heidelberg: Springer Berlin Heidelberg, [2006?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2006?]. https://doi.org/10.1007/11817963.
American Psychological Association 7th editionBall, T., … Jones, R. B. (Hrsg.). (ca. 2006). Computer Aided Verification : 18 th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2006). Springer Berlin Heidelberg. https://doi.org/10.1007/11817963
Modern Language Association 9th editionBall, T., und R. B. Jones, Herausgeber. „Computer Aided Verification : 18 th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings“. Theoretical Computer Science and General Issues, 1 st ed. 2006, cd, Springer Berlin Heidelberg, 2006, https://doi.org/10.1007/11817963.
ISO-690 (author-date, Deutsch)BALL, Thomas und Robert B JONES (Hrsg.). [cd]. 2006. 1 st ed. 2006. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540374114