Principles of Distributed Systems 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers Higashino Teruo Heftet / 2005 / Engelsk
Protocol Test Systems 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems Mizuno Tadanori Innbundet / 1995 / Engelsk
Protocol Test Systems 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems Mizuno Tadanori Heftet / 2013 / Engelsk
Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings Suzuki Kenji Heftet / 2008 / Engelsk
Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings Namjoshi, Kedar Heftet / 2007 / Engelsk
Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings Suzuki Kenji Heftet / 2008 / Engelsk
Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings Higashino Teruo Heftet / 2013 / Engelsk
Formal Description Techniques and Protocol Specification, Testing and Verification FORTE X / PSTV XVII ’97 Togashi Atsushi Innbundet / 1997 / Engelsk
Formal Description Techniques and Protocol Specification, Testing and Verification FORTE X / PSTV XVII ’97 Togashi Atsushi Heftet / 2013 / Engelsk
