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 |
|
