Toward Model Checking Web Services Over the Web.

John C. Sloan, Taghi M. Khoshgoftaar

Browse the full SEKE paper archive.