Browsing publications by Abubkr Abdelsadiq

Newcastle Authors	Title	Year
Abubkr Abdelsadiq Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	A High–Level Model–Checking Tool for Verifying Electronic Contracts	2011

Newcastle University Library, NE2 4HQ, United Kingdom. Tel: 0044 (191) 222 7657
[Web Team] [ePrints admin]
©2011 Newcastle University Library