Gupta, A. und Malik, S. (Hrsg.) (2008) „Computer Aided Verification : 20 th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings“, Theoretical Computer Science and General Issues. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-70545-1.
Chicago Manual of Style 17th edition (full note)Gupta, Aarti, und Sharad Malik, Hrsg. „Computer Aided Verification : 20 th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings“. Cd. Theoretical Computer Science and General Issues. Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?]. https://doi.org/10.1007/978-3-540-70545-1.
American Psychological Association 7th editionGupta, A., … Malik, S. (Hrsg.). (ca. 2008). Computer Aided Verification : 20 th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2008). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-70545-1
Modern Language Association 9th editionGupta, A., und S. Malik, Herausgeber. „Computer Aided Verification : 20 th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings“. Theoretical Computer Science and General Issues, 1 st ed. 2008, cd, Springer Berlin Heidelberg, 2008, https://doi.org/10.1007/978-3-540-70545-1.
ISO-690 (author-date, Deutsch)GUPTA, Aarti und Sharad MALIK (Hrsg.). [cd]. 2008. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540705451