Braberman, V., Olivero, A., & Schapachnik, F. 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.
Cita MLA (8a ed.)Braberman, V., et al. Zeus: A Distributed Timed Model-checker Based on Kronos.
Precaución: Estas citas no son 100% exactas.