Skip navigation
Home
Research Outputs
Researchers
Organizations
Projects
Explore by
Research Outputs
Researchers
Organizations
Projects
Sign on to:
My Homepage
Receive email
updates
Edit Account details
Browsing by Author
محمد محمود احمد طاهر Mohamed Mahmoud Ahmed Taher
Enter a last name
Or, select a letter below to browse by last name
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 1 of 1
Refman
EndNote
Bibtex
RefWorks
Send via email
Issue Date
Title
Author(s)
2006
Formal Verification Tool for Variable Order Analysis Algorithm in Binary Decision Diagrams
محمد محمود احمد طاهر Mohamed Mahmoud Ahmed Taher
