Cita APA (7a ed.)

Braberman, V., Olivero, A., & Schapachnik, F. Issues in distributed timed model checking.

Cita Chicago Style (17a ed.)

Braberman, V., A. Olivero, y F. Schapachnik. Issues in Distributed Timed Model Checking.

Cita MLA (8a ed.)

Braberman, V., et al. Issues in Distributed Timed Model Checking.