Bounded Model Checking for Web Service Discovery and Composition.

Zhi Fang, Lejian Liao, Ruoyu Chen

Browse the full SNPD paper archive.