Keiichi Yasumoto profile picture

Keiichi Yasumoto

Is this your author profile? Create an account to customize it!

Stand Alone

Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings