M. Ghonaimy

	2001
1		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

Coauthor Index

1	Dominique Borrione	[1]
2	S. Reda	[1]
3	Ashraf M. Salem	[1]
4	Ayman M. Wahba	[1]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page