Toshiyuki Yamane (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

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

Selection of 1 from 1 records - Toshiyuki Yamane has 2 coauthors