Checking Session-Oriented Interactions between Web Services.

Pavel Parzek, Jir Admek

Browse the full SEAA paper archive.