| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Interactive Systems. Design Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, ... Notes in Computer Science , Band 3941) | 978-3-54O-34145-1 (3-54O-34145-5) | 2008 |
S. G. · S. Gilroy · S. W. · Stephen G. · Stephen W. · W G