Keigo Hara
According to our database1,
Keigo Hara
authored at least 2 papers
between 1996 and 2008.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2008
Int. J. Autom. Technol., 2008
1996
A Semi-Automated Verification Method for Communication Protocols Modeled as 2-ECSFMs.
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996