Browsing publications by Abukr Abdelsadiq

Newcastle Authors	Title	Year
Abukr Abdelsadiq Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	A High–Level Model–Checking Tool for Verifying Service Agreements	2011
Abukr Abdelsadiq Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	On Model Checker Based Testing of Electronic Contracting Systems	2010