Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Browsing publications by Abukr Abdelsadiq

Newcastle AuthorsTitleYearFull text
Abukr Abdelsadiq
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
A High–Level Model–Checking Tool for Verifying Service Agreements2011
Abukr Abdelsadiq
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
On Model Checker Based Testing of Electronic Contracting Systems2010