Takahiro Minamikawa Vis

*	2008
1	EE	Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno: Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms. PRDC 2008: 40-47

Coauthor Index

1	Tohru Kikuno	[1]
2	Tatsuhiro Tsuchiya	[1]