Toshiyuki Yamane

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001

1 EE Sumio Morioka, Yasunao Katayama, Toshiyuki Yamane: Towards Efficient Verification of Arithmetic Algorithms over Galois Fields GF(2^m). CAV 2001: 465-477

2001
1	EE	Sumio Morioka, Yasunao Katayama, Toshiyuki Yamane: Towards Efficient Verification of Arithmetic Algorithms over Galois Fields GF(2^m). CAV 2001: 465-477

Coauthor Index

1 Yasunao Katayama [1]

2 Sumio Morioka [1]