Hideyuki Hatori

Publication Activity (10 Years)

Years Active: 1996-1996
Publications (10 Years): 0

Publications

Tomohiro Yoneda, Hideyuki Hatori, Atsushi Takahara, Shin-ichi Minato
BDDs vs. Zero-Suppressed BDDs: for CTL Symbolic Model Checking of Petri Nets. FMCAD (1996)