| |
| 2000 | ||
|---|---|---|
| 2 | EE | Poul Frederick Williams, Macha Nikolskaïa, Antoine Rauzy: Bypassing BDD construction for reliability analysis. Inf. Process. Lett. 75(1-2): 85-89 (2000) |
| 1998 | ||
| 1 | EE | Macha Nikolskaïa, Antoine Rauzy, David James Sherman: Almana: A BDD Minimization Tool Integrating Heuristic and Rewriting Methods. FMCAD 1998: 100-114 |
| 1 | Antoine Rauzy | [1] [2] |
| 2 | David James Sherman | [1] |
| 3 | Poul Frederick Williams | [2] |