Courcoubetis, C. (1993) Computer Aided Verification : 5 th International Conference, CAV ’93 Elounda, Greece, June 28–July 1, 1993 Proceedings [cd], Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag (Lecture Notes in Computer Science, 697). doi:10.1007/3-540-56922-7.
Chicago Manual of Style 17th edition (full note)Courcoubetis, Costas. Computer Aided Verification : 5 th International Conference, CAV ’93 Elounda, Greece, June 28–July 1, 1993 Proceedings. Cd. Lecture Notes in Computer Science. Lecture Notes in Computer Science 697. Berlin, Heidelberg: Springer-Verlag, [1993?], Berlin, Heidelberg: Springer-Verlag, [1993?]. https://doi.org/10.1007/3-540-56922-7.
American Psychological Association 7th editionCourcoubetis, C. (ca. 1993). Computer Aided Verification : 5 th International Conference, CAV ’93 Elounda, Greece, June 28–July 1, 1993 Proceedings [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/3-540-56922-7
Modern Language Association 9th editionCourcoubetis, C. „Computer Aided Verification : 5 th International Conference, CAV ’93 Elounda, Greece, June 28–July 1, 1993 Proceedings“. Lecture Notes in Computer Science, cd, Springer-Verlag, 1993, https://doi.org/10.1007/3-540-56922-7.
ISO-690 (author-date, Deutsch)COURCOUBETIS, Costas, 1993. Computer Aided Verification : 5 th International Conference, CAV ’93 Elounda, Greece, June 28–July 1, 1993 Proceedings. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 697. ISBN 9783540477877