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.
Elsevier - Harvard (with titles)Courcoubetis, C., 1993. Computer Aided Verification : 5 th International Conference, CAV ’93 Elounda, Greece, June 28–July 1, 1993 Proceedings, Lecture Notes in Computer Science, Lecture Notes in Computer Science. Springer-Verlag, Berlin, Heidelberg. 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
Springer - Basic (author-date)Courcoubetis C (1993) Computer Aided Verification : 5 th International Conference, CAV ’93 Elounda, Greece, June 28–July 1, 1993 Proceedings. Springer-Verlag, Berlin, Heidelberg
Juristische Zitierweise (Stüber) (Deutsch)Courcoubetis, Costas, Computer Aided Verification : 5 th International Conference, CAV ’93 Elounda, Greece, June 28–July 1, 1993 Proceedings, Berlin, Heidelberg 1993.