Junko Sano

According to our database, Junko Sano authored at least 1 paper in 1996.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1996

A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECSFMs.

Masahiro Higuchi, Junko Sano, Keigo Hara, Mamoru Fujii

Proceedings of the 16th International Conference on Distributed Computing Systems, 1996