Cita APA (7a ed.)

Braberman, V., López Pombo, C., & Olivero, A. (2002). On improving backwards verification of timed automata (extended abstract).

Cita Chicago Style (17a ed.)

Braberman, V., C. López Pombo, y A. Olivero. On Improving Backwards Verification of Timed Automata (extended Abstract). 2002.

Cita MLA (8a ed.)

Braberman, V., et al. On Improving Backwards Verification of Timed Automata (extended Abstract). 2002.