| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008, Proceedings | 978-3-540-71069-1 (3-540-71069-8) | 2008 | |
| Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, ... Notes in Computer Science, Band 6186) | 978-3-642-16073-8 (3-642-16073-5) | 2010 | Gavin Lowe |
| Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings | 978-3-540-43381-1 (3-540-43381-3) | 2008 | |