Cita APA (7a ed.)

CAV'91, Larsen, K. G., & Skou, A. (1992). Computer aided verification: 3rd international workshop, CAV'91, Aalborg, Denmark, July 1-4, 1991 : proceedings. Springer.

Cita Chicago Style (17a ed.)

CAV'91, K. G. Larsen, y A. Skou. Computer Aided Verification: 3rd International Workshop, CAV'91, Aalborg, Denmark, July 1-4, 1991 : Proceedings. Berlin [etc.]: Springer, 1992.

Cita MLA (9a ed.)

CAV'91, et al. Computer Aided Verification: 3rd International Workshop, CAV'91, Aalborg, Denmark, July 1-4, 1991 : Proceedings. Springer, 1992.