Modular Verification of Asynchronous Service Interactions Using Behavioral Interfaces


Creative Commons License

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

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

  • Publication Type: Article / Article
  • Volume: 6 Issue: 2
  • Publication Date: 2013
  • Doi Number: 10.1109/tsc.2011.55
  • Journal Name: IEEE Transactions on Services Computing
  • Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Page Numbers: pp.262-275
  • Middle East Technical University Affiliated: Yes