Showing 1 - 2 results of 2 for search 'Aziz Abdulla', query time: 0.01s
Refine Results
-
1
A Novel Approach to Efficiently Verify Sequential Consistency in Concurrent Programs by Mohammed H. Abdulwahhab, Parosh Aziz Abdulla, Karwan Jacksi
Published 2025-03-01Get full text
Article -
2