Cita APA (7a ed.)

Braberman, V., Olivero, A., & Schapachnik, F. (2002). Zeus: A distributed timed model-checker based on Kronos.

Cita Chicago Style (17a ed.)

Braberman, V., A. Olivero, y F. Schapachnik. Zeus: A Distributed Timed Model-checker Based on Kronos. 2002.

Cita MLA (8a ed.)

Braberman, V., et al. Zeus: A Distributed Timed Model-checker Based on Kronos. 2002.