Cita APA (7a ed.)

Braberman, V. A., & Van Hung, D. On checking timed automata for linear duration invariants.

Cita Chicago Style (17a ed.)

Braberman, Victor Adrian, y Dang Van Hung. On Checking Timed Automata for Linear Duration Invariants.

Cita MLA (8a ed.)

Braberman, Victor Adrian, y Dang Van Hung. On Checking Timed Automata for Linear Duration Invariants.