Verification Of Communication Protocols In Web Services Modelchecking Service CompositionsPeter Bertok · First published 2014Open the Tome
Verification of Communication Protocols in Web ServicesKazi Sakib, Zahir Tari, Peter Bertok · First published 2013Open the Tome