Smaller to Sharper: Efficient Web Service Composition and Verification Using On-the-fly Model Checking and Logic-Based Clustering.

Khai T. Huynh, Tho Quan, Thang H. Bui

Browse the full ICCSA paper archive.