Cita APA (7a ed.)

Braberman, V., Obes, J., Olivero, A., & Schapachnik, F. Hypervolume approximation in timed automata model checking.

Cita Chicago Style (17a ed.)

Braberman, V., J.L Obes, A. Olivero, y F. Schapachnik. Hypervolume Approximation in Timed Automata Model Checking.

Cita MLA (8a ed.)

Braberman, V., et al. Hypervolume Approximation in Timed Automata Model Checking.