Takashi Kanatani

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

2 Hiroaki Takai, Takashi Kanatani, Akira Matsubayashi: Path Coloring on Binary Caterpillars. IEICE Transactions 89-D(6): 1906-1913 (2006)

2004

1 Satoshi Yamane, Takashi Kanatani: Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computing. EUC 2004: 183-195

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

Coauthor Index

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page