Skip navigation
Skip navigation

Logic-based Verification for Web services Composition with TLA

CollectionsANU Research Publications
Date published: 2009
Type: Conference paper
Source: Proceedings 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA)


File Description SizeFormat Image
01_Wang_Logic-based_Verification_for_2009.pdf193.03 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator