APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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