| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings | | 978-3-540-75595-1 | 2007 | Kedar Namjoshi · Tomohiro Yoneda |
| Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 ... Notes in Computer Science , Band 5048) | | 978-3-540-68854-9 | 2010 | Kenji Suzuki · Keiichi Yasumoto · Khaled El-Fakih |
| Principles of Distributed Systems: 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers | | 978-3-540-27324-0 | 2005 |
| Protocol Test Systems: 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems: International Workshop Proceedings | | 978-0-412-71160-2 | 1995 | Tadanori Mizuno · Norio Shiratori |
| Stabilization, Safety, and Security of Distributed Systems: 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings | | 978-3-319-03088-3 | 2013 | Yoshiaki Katayama · Toshimitsu Masuzawa · Maria Potop-Butucaru · Masafumi Yamashita |