Cita APA (7th ed.)
André, E., & Soulat, R. (2013). The inverse method: Parametric verification of real-time embedded systems. ISTE Ltd./John Wiley and Sons Inc..
Cita Chicago (17th ed.)
André, Etienne, i Romain Soulat. The Inverse Method: Parametric Verification of Real-time Embedded Systems. Hoboken, N.J.: ISTE Ltd./John Wiley and Sons Inc., 2013.
Cita MLA (9th ed.)
André, Etienne, i Romain Soulat. The Inverse Method: Parametric Verification of Real-time Embedded Systems. ISTE Ltd./John Wiley and Sons Inc., 2013.
Atenció: Aquestes cites poden no estar 100% correctes.