Verification of Communication Protocols in Web Services Model-Checking Service Compositions Sakib Kazi Innbundet / 2013 / Engelsk
