Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

Braberman, Víctor Adrián, y Fernando Pablo Schapachnik. Zeus: A Distributed Timed Model-checker Based on Kronos. 2002.

Cita MLA (8a ed.)

Braberman, Víctor Adrián, y Fernando Pablo Schapachnik. Zeus: A Distributed Timed Model-checker Based on Kronos. 2002.