Cita APA (7a ed.)

Braberman, V., & Felder, M. Verification of real-time designs: Combining scheduling theory with automatic formal verification.

Cita Chicago Style (17a ed.)

Braberman, V.A, y M. Felder. Verification of Real-time Designs: Combining Scheduling Theory with Automatic Formal Verification.

Cita MLA (8a ed.)

Braberman, V.A, y M. Felder. Verification of Real-time Designs: Combining Scheduling Theory with Automatic Formal Verification.