Cita APA

De Vito, M. C., & Osella Massa, G. L. (2006). Model checking: Un modelo del protocolo Gnutella : Simulación y verificación usando SPIN. Web

Citación estilo Chicago

De Vito, María Cecilia, and Germán Leandro Osella Massa. Model Checking: Un Modelo Del Protocolo Gnutella : Simulación Y Verificación Usando SPIN. 2006.

Cita MLA

De Vito, María Cecilia, and Germán Leandro Osella Massa. Model Checking: Un Modelo Del Protocolo Gnutella : Simulación Y Verificación Usando SPIN. 2006.