Modular Verification of Asynchronous Service Interactions Using Behavioral Interfaces

---

Betin-Can A. , Hallé S., Bultan T.

IEEE Transactions on Services Computing, vol.6, no.2, pp.262-275, 2013 (Journal Indexed in SCI Expanded)

• Publication Type: Article / Article
• Volume: 6 Issue: 2
• Publication Date: 2013
• Doi Number: 10.1109/tsc.2011.55
• Title of Journal : IEEE Transactions on Services Computing
• Page Numbers: pp.262-275