Formal analysis of Web Services Atomic Transaction protocol using SPIN

University of Macau / Faculty of Science and Technology / Department of Computer and Information Science

Identiferoai:union.ndltd.org:MACAU/oai:libdigital.umac.mo:b2099650
Date January 2009
CreatorsLeong, Ieng Kit
PublisherUniversity of Macau
Source SetsUniversity of Macau
LanguageEnglish
Detected LanguageEnglish
TypeUM_THESES

Page generated in 0.0013 seconds