Cita APA (7a ed.)
Rajeev Alur, D. A. P. Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings. Springer.
Cita estilo Chicago (17a ed.)
Rajeev Alur, Doron A. Peled. Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Rajeev Alur, Doron A. Peled. Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings. Springer.
警告：這些引文格式不一定是100％准確.