Cita APA (7a ed.)

André, E., & Soulat, R. (2013). The inverse method: Parametric verification of real-time embedded systems. ISTE ; Wiley.

Cita Chicago Style (17a ed.)

André, Etienne, y Romain Soulat. The Inverse Method: Parametric Verification of Real-time Embedded Systems. London : Hoboken, N.J.: ISTE ; Wiley, 2013.

Cita MLA (8a ed.)

André, Etienne, y Romain Soulat. The Inverse Method: Parametric Verification of Real-time Embedded Systems. ISTE ; Wiley, 2013.