| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| The Inverse Method: Parametric Verification of Real-Time Unbedded Systems | 978-1-118-56935-1 (1-118-56935-0) | 2013 | Etienne Andr? |
| The Inverse Method: Parametric Verification of Real-time Unbedded Systems | 978-1-84821-447-7 (1-84821-447-2) | 2013 | Etienne André |
R. S. · Romain Saillet · Roman Slaweta · Roman Szalat · Romana Solt