BOUAJJANI, Ahmed und MALER, Oded (Hrsg.). [cd]. 2009. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642026584.
Elsevier - Harvard (with titles)Bouajjani, A., 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. 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
Springer - Basic (author-date)Bouajjani A, 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
Juristische Zitierweise (Stüber) (Deutsch)Bouajjani, Ahmed/ Maler, Oded (Hrsg.), Computer Aided Verification : 21 st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings, Theoretical Computer Science and General Issues 2009, .