Verifying Transactional Requirements of Web Service Compositions Using Temporal Logic Templates.

Scott Bourne, Claudia Szabo, Quan Z. Sheng

Browse the full WISE paper archive.