Tomohisa Kimoto
According to our database1,
Tomohisa Kimoto
authored at least 1 paper
in 1989.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1989
Automated Verification of Equivalence of Protocol Machines.
Proceedings of the Protocol Specification, 1989