Cita APA

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

Citación estilo Chicago

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

Cita MLA

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

Precaución: Estas citas no son 100% exactas.