Toggle Main Menu Toggle Search

Open Access padlockePrints

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