Home›Books›Tadanori MizunoTadanori MizunoNo biography available.Works (2)Formal description techniques and protocol specification, testing and verification1997Protocol Test Systems