Cita APA (7a ed.)
Nicolas Halbwachs, D. P. Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings. Springer.
Cita estilo Chicago (17a ed.)
Nicolas Halbwachs, Doron Peled. Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Nicolas Halbwachs, Doron Peled. Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings. Springer.
Precaución: Estas citas no son 100% exactas.