J. Sano

Publication Activity (10 Years)

Years Active: 1996-1996
Publications (10 Years): 0

Publications

Masahiro Higuchi, J. Sano, K. Hara, Mamoru Fujii
A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECSFMs. ICDCS (1996)