External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Diagrammatically-Driven Formal Verification of Web-Services Composition

Petros Papapanagiotou, Jacques D. Fleuriot, Sean Wilson. Diagrammatically-Driven Formal Verification of Web-Services Composition. In Philip T. Cox, Beryl Plimmer, Peter J. Rodgers, editors, Diagrammatic Representation and Inference - 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings. Volume 7352 of Lecture Notes in Computer Science, pages 241-255, Springer, 2012. [doi]

Authors

Petros Papapanagiotou

This author has not been identified. Look up 'Petros Papapanagiotou' in Google

Jacques D. Fleuriot

This author has not been identified. Look up 'Jacques D. Fleuriot' in Google

Sean Wilson

This author has not been identified. Look up 'Sean Wilson' in Google
runs on