Lahiri, S.K. (2020) Computer Aided Verification : 32 nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I [cd], Lecture Notes in Computer Science; Theoretical Computer Science and General Issues. Herausgegeben von C. Wang. [Erscheinungsort nicht ermittelbar]: Springer Nature ; Springer [Imprint]. doi:20.500.12657/41295.
Chicago Manual of Style 17th edition (full note)Lahiri, Shuvendu K. Computer Aided Verification : 32 nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I. Cd. Herausgegeben von Chao Wang. Lecture Notes in Computer Science; Theoretical Computer Science and General Issues. [Erscheinungsort nicht ermittelbar]: Springer Nature ; Springer [Imprint], [2020?], [Erscheinungsort nicht ermittelbar]: Springer Nature ; Springer [Imprint], [2020?]. https://doi.org/20.500.12657/41295.
American Psychological Association 7th editionLahiri, S. K. (ca. 2020). Computer Aided Verification : 32 nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I [Cd]. In C. Wang (Hrsg.), Lecture Notes in Computer Science; Theoretical Computer Science and General Issues. Springer Nature ; Springer [Imprint]. https://doi.org/20.500.12657/41295
Modern Language Association 9th editionLahiri, S. K. „Computer Aided Verification : 32 nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I“. Lecture Notes in Computer Science; Theoretical Computer Science and General Issues, herausgegeben von Chao Wang, cd, Springer Nature ; Springer [Imprint], 2020, https://doi.org/20.500.12657/41295.
ISO-690 (author-date, Deutsch)LAHIRI, Shuvendu K., 2020. Computer Aided Verification : 32 nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I. [Erscheinungsort nicht ermittelbar]: Springer Nature ; Springer [Imprint]