Kazi Sakib profile picture

Kazi Sakib

Is this your author profile? Create an account to claim and customize it!

Verification of Communication Protocols in Web Services: Model-Checking Service Compositions