H.W. · Herbert Wessels · Herbert Wiegels · Heribert Wessels
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Coordination Models and Languages: 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings | 978-3-540-34694-4 (3-540-34694-5) | 2006 | Paolo Ciancarini |
| Formal Methods for Dynamical Systems | 978-3-642-38873-6 (3-642-38873-6) | 2013 | Marco Bernardo · Erik de Vink · Alessandra Di Pierro |
| Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... Notes in Computer Science, Band 6154) | 978-3-642-13677-1 (3-642-13677-X) | 2010 | Alessandro Aldini · Marco Bernardo · Alessandra Di Pierro |