Cita APA (7a ed.)

Oñate Ferriz, V., & Agustín Zaballos, J. (2009). Verificacions mitjançant Model Checking a través d'UPPAAL.

Cita Chicago Style (17a ed.)

Oñate Ferriz, Víctor, y Juan Agustín Zaballos. Verificacions Mitjançant Model Checking a Través D'UPPAAL. 2009.

Cita MLA (9a ed.)

Oñate Ferriz, Víctor, y Juan Agustín Zaballos. Verificacions Mitjançant Model Checking a Través D'UPPAAL. 2009.