| |
| 2007 | ||
|---|---|---|
| 2 | EE | David Déharbe, Silvio Ranise, Jorgiano Vidal: Distributing the Workload in a Lazy Theorem-Prover. Electr. Notes Theor. Comput. Sci. 184: 21-37 (2007) |
| 2002 | ||
| 1 | Jorgiano Vidal, David Déharbe, Dominique Borrione: Improving Static Ordering of BDDs for Reachability Analysis. IWLS 2002: 73-77 | |
| 1 | Dominique Borrione | [1] |
| 2 | David Déharbe | [1] [2] |
| 3 | Silvio Ranise | [2] |