Takashi Kanatani

Publication Activity (10 Years)

Years Active: 2004-2006
Publications (10 Years): 0

Publications

Hiroaki Takai, Takashi Kanatani, Akira Matsubayashi
Path Coloring on Binary Caterpillars. IEICE Trans. Inf. Syst. (6) (2006)
Satoshi Yamane, Takashi Kanatani
Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computing. EUC (2004)