Cita APA (7a ed.)

Braberman, V., Garbervetsky, D., & Olivero, A. OBSSLICE: A timed automata slicer based on observers.

Cita Chicago Style (17a ed.)

Braberman, V., D. Garbervetsky, y A. Olivero. OBSSLICE: A Timed Automata Slicer Based on Observers.

Cita MLA (8a ed.)

Braberman, V., et al. OBSSLICE: A Timed Automata Slicer Based on Observers.