Cita APA (7a ed.)

Braberman, V., Garbervestky, D., Kicillof, N., Monteverde, D., & Olivero, A. Speeding up model checking of timed-models by combining scenario specialization and live component analysis.

Cita Chicago Style (17a ed.)

Braberman, V., D. Garbervestky, N. Kicillof, D. Monteverde, y A. Olivero. Speeding Up Model Checking of Timed-models by Combining Scenario Specialization and Live Component Analysis.

Cita MLA (8a ed.)

Braberman, V., et al. Speeding Up Model Checking of Timed-models by Combining Scenario Specialization and Live Component Analysis.