APA (7th ed.) Citation

André, E., & Soulat, R. (2013). The Inverse Method: Parametric Verification of Real-time Embedded Systems (1st edition.). Wiley.

Chicago Style (17th ed.) Citation

André, Etienne, and Romain Soulat. The Inverse Method: Parametric Verification of Real-time Embedded Systems. 1st edition. Wiley, 2013.

MLA (9th ed.) Citation

André, Etienne, and Romain Soulat. The Inverse Method: Parametric Verification of Real-time Embedded Systems. 1st edition. Wiley, 2013.

Warning: These citations may not always be 100% accurate.