DAMM, Werner und HERMANNS, Holger (Hrsg.). [cd]. 2007. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540733683.
Elsevier - Harvard (with titles)Damm, W., Hermanns, H. (Hrsg.), 2007. Computer Aided Verification : 19 th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-540-73368-3
American Psychological Association 7th editionDamm, W., … Hermanns, H. (Hrsg.). (ca. 2007). Computer Aided Verification : 19 th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2007). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-73368-3
Springer - Basic (author-date)Damm W, Hermanns H (Hrsg.) (2007) Computer Aided Verification : 19 th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Damm, Werner/ Hermanns, Holger (Hrsg.), Computer Aided Verification : 19 th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, Theoretical Computer Science and General Issues 2007, .