Automated Runtime Verification for Web Services.

Tien-Dung Cao, Trung-Tien Phan-Quang, Patrick Flix, Richard Castanet

Browse the full ICWS paper archive.