Takahiro Minamikawa

According to our database, Takahiro Minamikawa authored at least 2 papers between 2008 and 2009.

Collaborative distances:

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

2009

Towards Automated Verification of Distributed Consensus Protocols.

Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2008

Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms.

Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno

Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008