Bouajjani, A. und Maler, O. (Hrsg.) (2009) „Computer Aided Verification : 21 st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings“, Theoretical Computer Science and General Issues. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-642-02658-4.
Chicago Manual of Style 17th edition (full note)Bouajjani, Ahmed, und Oded Maler, Hrsg. „Computer Aided Verification : 21 st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings“. Cd. Theoretical Computer Science and General Issues. Berlin, Heidelberg: Springer Berlin Heidelberg, [2009?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2009?]. https://doi.org/10.1007/978-3-642-02658-4.
American Psychological Association 7th editionBouajjani, A., … Maler, O. (Hrsg.). (ca. 2009). Computer Aided Verification : 21 st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2009). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-02658-4
Modern Language Association 9th editionBouajjani, A., und O. Maler, Herausgeber. „Computer Aided Verification : 21 st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings“. Theoretical Computer Science and General Issues, 1 st ed. 2009, cd, Springer Berlin Heidelberg, 2009, https://doi.org/10.1007/978-3-642-02658-4.
ISO-690 (author-date, Deutsch)BOUAJJANI, Ahmed und Oded MALER (Hrsg.). [cd]. 2009. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642026584