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.

Reasoning (on) Service Component Ensembles in Rewriting Logic

Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing. Reasoning (on) Service Component Ensembles in Rewriting Logic. In Shusaku Iida, José Meseguer, Kazuhiro Ogata, editors, Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi. Volume 8373 of Lecture Notes in Computer Science, pages 188-211, Springer, 2014. [doi]

Authors

Lenz Belzner

This author has not been identified. Look up 'Lenz Belzner' in Google

Rocco De Nicola

This author has not been identified. Look up 'Rocco De Nicola' in Google

Andrea Vandin

This author has not been identified. Look up 'Andrea Vandin' in Google

Martin Wirsing

This author has not been identified. Look up 'Martin Wirsing' in Google
runs on