@INPROCEEDINGS{SEEFM.2009.17-24, 
author={M. Shaban Jokhio and Gillian Dobbie and Jing Sun}, 
booktitle={Fourth South-East European Workshop on Formal Methods (SEEFM)}, 
title={{A Framework for Testing Semantic Web Services Using Model Checking}},
year={2009}, 
month={Dec.}, 
pages={17--24}, 
Location = {Thessalonihi, Greece},  
doi={10.1109/SEEFM.2009.11}, 
ISSN={978-1-4244-5617-8}
}