ETESSAMI, Kousha und RAJAMANI, Sriram K (Hrsg.). [cd]. 2005. 1 st ed. 2005. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540316862.
Elsevier - Harvard (with titles)Etessami, K., Rajamani, S.K. (Hrsg.), 2005. Computer Aided Verification : 17 th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/b138445
American Psychological Association 7th editionEtessami, K., … Rajamani, S. K. (Hrsg.). (ca. 2005). Computer Aided Verification : 17 th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2005). Springer Berlin Heidelberg. https://doi.org/10.1007/b138445
Springer - Basic (author-date)Etessami K, Rajamani SK (Hrsg.) (2005) Computer Aided Verification : 17 th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Etessami, Kousha/ Rajamani, Sriram K (Hrsg.), Computer Aided Verification : 17 th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, Theoretical Computer Science and General Issues 2005, .