Cita APA (7a ed.)

Monteverde, D., Olivero, A., Yovine, S., & Braberman, V. VTS-based specification and verification of behavioral properties of AADL models.

Cita Chicago Style (17a ed.)

Monteverde, D., A. Olivero, S. Yovine, y V. Braberman. VTS-based Specification and Verification of Behavioral Properties of AADL Models.

Cita MLA (8a ed.)

Monteverde, D., et al. VTS-based Specification and Verification of Behavioral Properties of AADL Models.