Hidetomo Machi

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Hidetomo Machi, Kohji Tomita, Chiharu Hosono
The Relative Completeness of a Version of CTL*. CATS (2005)