GUPTA, Aarti und MALIK, Sharad (Hrsg.). [cd]. 2008. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540705451.
Elsevier - Harvard (with titles)Gupta, A., 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. 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
Springer - Basic (author-date)Gupta A, 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
Juristische Zitierweise (Stüber) (Deutsch)Gupta, Aarti/ Malik, Sharad (Hrsg.), Computer Aided Verification : 20 th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings, Theoretical Computer Science and General Issues 2008, .