International conference on computer-aided verification :New Brunswick, N.J., Alur, R., & Henzinger, T. A. Computer aided verification: 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings. Springer.
Cita Chicago (17th ed.)International conference on computer-aided verification :New Brunswick, N.J., Rajeev Alur, i Thomas A. Henzinger. Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : Proceedings. Berlin [etc.]: Springer.
Cita MLA (8th ed.)International conference on computer-aided verification :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.