APA (7th ed.) Citation

CAV (Conference) New Brunswick, N.J.), Alur, R., & Henzinger, T. A. (1996). Computer aided verification: 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings. Springer-Verlag.

Chicago Style (17th ed.) Citation

CAV (Conference) New Brunswick, N.J.), Rajeev Alur, and T. A. Henzinger. Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : Proceedings. Berlin ; New York: Springer-Verlag, 1996.

MLA (9th ed.) Citation

CAV (Conference) New Brunswick, N.J.), et al. Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : Proceedings. Springer-Verlag, 1996.