- CSB - MetaPress - Google - Bing - Yahoo
 | 1996 | |
|---|---|---|
| 1 |      | Tomohiro Yoneda, Hideyuki Hatori, Atsushi Takahara, Shin-ichi Minato: BDDs vs. Zero-Suppressed BDDs: for CTL Symbolic Model Checking of Petri Nets. FMCAD 1996: 435-449 |
| 1 | Shin-ichi Minato | [1] |
| 2 | Atsushi Takahara | [1] |
| 3 | Tomohiro Yoneda | [1] |