Modelling and Verification of Web Services Business Activity Protocol.

Anders P. Ravn, Jir Srba, Muhammad Saleem Vighio

Browse the full TACAS paper archive.