Cita APA

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

Citación estilo Chicago

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

Cita MLA

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