Cita APA (7a ed.)

Braberman, V., Garbervetsky, D., & Olivero, A. Improving the verification of timed systems using influence information.

Cita Chicago Style (17a ed.)

Braberman, V., D. Garbervetsky, y A. Olivero. Improving the Verification of Timed Systems Using Influence Information.

Cita MLA (8a ed.)

Braberman, V., et al. Improving the Verification of Timed Systems Using Influence Information.