| 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-O) | 2013 | Romain Soulat |
E.A. · Edna Andrade · Edna Andrews · Edwin Anderson · Edwin Andreas · Edwin Andrus · Etienne André