| |
| 2001 | ||
|---|---|---|
| 1 | EE | S. Reda, Ayman M. Wahba, Ashraf M. Salem, Dominique Borrione, M. Ghonaimy: On the use of don't cares during symbolic reachability analysis. ISCAS (5) 2001: 121-124 |
| 1 | Dominique Borrione | [1] |
| 2 | S. Reda | [1] |
| 3 | Ashraf M. Salem | [1] |
| 4 | Ayman M. Wahba | [1] |