The Inverse Method: Parametric Verification of Real-time Unbedded Systems by Etienne André Back to product details page >