M. Ghonaimy

Publication Activity (10 Years)

Years Active: 2001-2001
Publications (10 Years): 0

Publications

Sherief Reda, Ayman Wahba, Ashraf Salem, Dominique Borrione, M. Ghonaimy
On the use of don't cares during symbolic reachability analysis. ISCAS (5) (2001)