BDDs vs. Zero-Suppressed BDDs: for CTL Symbolic Model Checking of Petri Nets.

Tomohiro Yoneda, Hideyuki Hatori, Atsushi Takahara, Shin-ichi Minato

Browse the full FMCAD paper archive.