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 | M. Ghonaimy | [1] |
3 | Ashraf M. Salem | [1] |
4 | Ayman M. Wahba | [1] |