SpringerLink (Online service), CAV, International Conference on Computer Aided Verification, & Alur, R. (1996). Computer aided verification: 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996 ; proceedings. Springer.
Chicago Style (17th ed.) CitationSpringerLink (Online service), CAV, International Conference on Computer Aided Verification, and Rajeev Alur. Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996 ; Proceedings. Berlin [u.a.]: Springer, 1996.
MLA (9th ed.) CitationSpringerLink (Online service), et al. Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996 ; Proceedings. Springer, 1996.
Warning: These citations may not always be 100% accurate.