LARSEN, Kim Guldstrand und SKOU, Arne, 1992. Computer Aided Verification : 3 rd International Workshop, CAV ’91 Aalborg, Denmark, July 1–4, 1991 Proceedings. [cd]. 1992. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 575. ISBN 9783540467632.
Elsevier - Harvard (with titles)Larsen, K.G., Skou, A., 1992. Computer Aided Verification : 3 rd International Workshop, CAV ’91 Aalborg, Denmark, July 1–4, 1991 Proceedings. Lecture Notes in Computer Science, Lecture Notes in Computer Science. https://doi.org/10.1007/3-540-55179-4
American Psychological Association 7th editionLarsen, K. G., & Skou, A. (ca. 1992). Computer Aided Verification : 3 rd International Workshop, CAV ’91 Aalborg, Denmark, July 1–4, 1991 Proceedings [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/3-540-55179-4
Springer - Basic (author-date)Larsen KG, Skou A (1992) Computer Aided Verification : 3 rd International Workshop, CAV ’91 Aalborg, Denmark, July 1–4, 1991 Proceedings. Lecture Notes in Computer Science
Juristische Zitierweise (Stüber) (Deutsch)Larsen, Kim Guldstrand/ Skou, Arne, Computer Aided Verification : 3 rd International Workshop, CAV ’91 Aalborg, Denmark, July 1–4, 1991 Proceedings, Lecture Notes in Computer Science 1992, .