Name: Osamu Takaki

Number of Co-Authors: 6

Number of Papers: 2

Affiliation History: Japans Advanced Institute of Science and Technology, Japan ; Research Center for Verification and Semantics, Information Technology Research Institute, National Institute of Advanced Industrial Science and Technology, Japan