Tsuchiya Kikuno

According to our database, Tsuchiya Kikuno authored at least 1 paper in 2001.

Collaborative distances:

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

2001

Automatic Verification of Fault Tolerance Using Model Checking.

Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Tsuchiya Kikuno

Proceedings of the 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 2001