| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and ... Italy, June 13-18, 2011, Advanced Lectures | 978-3-642-21456-1 | 2011 | Marco Bernardo |
| Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and ... Notes in Computer Science, Band 6659) | 978-3-642-21454-7 | 2011 | " |
| Middleware 2008: Acm/Ifip/Usenix 9Th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings | 978-3-540-89855-9 | 2008 | |
| Trust Management: Third International Conference, iTrust 2005, Paris, France, May 23-26, 2005, Proceedings | 978-3-540-26042-4 | 2008 | Simon Shiu · Peter Herrmann |