APA (7th ed.) Citation

(2001). Systems and software verification: Model-checking techniques and tools (Updated version of the French language ed.). Springer.

Chicago Style (17th ed.) Citation

Systems and Software Verification: Model-checking Techniques and Tools. Updated version of the French language ed. Berlin [u.a.]: Springer, 2001.

MLA (9th ed.) Citation

Systems and Software Verification: Model-checking Techniques and Tools. Updated version of the French language ed. Springer, 2001.