![]() | ![]() |
2006 | ||
---|---|---|
2 | EE | Hiroaki Takai, Takashi Kanatani, Akira Matsubayashi: Path Coloring on Binary Caterpillars. IEICE Transactions 89-D(6): 1906-1913 (2006) |
2004 | ||
1 | EE | Satoshi Yamane, Takashi Kanatani: Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computing. EUC 2004: 183-195 |
1 | Akira Matsubayashi | [2] |
2 | Hiroaki Takai | [2] |
3 | Satoshi Yamane | [1] |