TL-VIEWS: A Tool for Temporal Logic Verification of Transactional Behavior of Web Service Compositions.

Scott Bourne, Claudia Szabo, Quan Z. Sheng

Browse the full ICSOC paper archive.