Koichi Masukura Minoru Tomisaka Tomohiro Yoneda Verification of asynchronous circuits based on zero-suppressed BDDs. 43-54 2001 32 Systems and Computers in Japan 2 http://dx.doi.org/10.1002/1520-684X(200102)32:2%3c43::AID-SCJ5%3e3.0.CO;2-P db/journals/scjapan/scjapan32.html#MasukuraTY01