Hiroshi Toshima

List of publications from the DBLP Bibliography Server - FAQ

2001

1 EE Hiroshi Toshima, Tomohiro Yoneda: Efficient verification by exploiting symmetry and abstraction. Systems and Computers in Japan 32(14): 41-53 (2001)

2001
1	EE	Hiroshi Toshima, Tomohiro Yoneda: Efficient verification by exploiting symmetry and abstraction. Systems and Computers in Japan 32(14): 41-53 (2001)

Coauthor Index