APA-Zitierstil (7. Ausg.)

CAV (Conference) (5th : 1993 : Elounda, Greece), & Courcoubetis, C. (1993). Computer aided verification: 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993. Springer-Verlag.

Chicago-Zitierstil (17. Ausg.)

CAV (Conference) (5th : 1993 : Elounda, Greece), und Costas Courcoubetis. Computer Aided Verification: 5th International Conference, CAV'93, Elounda, Greece, June 28-July 1, 1993. Berlin: Springer-Verlag, 1993.

MLA-Zitierstil (9. Ausg.)

CAV (Conference) (5th : 1993 : Elounda, Greece), und Costas Courcoubetis. Computer Aided Verification: 5th International Conference, CAV'93, Elounda, Greece, June 28-July 1, 1993. Springer-Verlag, 1993.