314 followers
TL-VIEWS: A Tool for Temporal Logic Verification of Transactional Behavior of Web Service Compositions - Springer http://t.co/mNEwMdUETa
TL-VIEWS: A Tool for Temporal Logic Verification of Transactional Behavior of Web Service Compositions - Springer http://t.co/mNEwMdUETa