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.

Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction

Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi. Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction. In Chengfei Liu, Heiko Ludwig, Farouk Toumani, Qi Yu, editors, Service-Oriented Computing - 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings. Volume 7636 of Lecture Notes in Computer Science, pages 17-31, Springer, 2012. [doi]

Authors

Francesco Belardinelli

This author has not been identified. Look up 'Francesco Belardinelli' in Google

Alessio Lomuscio

This author has not been identified. Look up 'Alessio Lomuscio' in Google

Fabio Patrizi

This author has not been identified. Look up 'Fabio Patrizi' in Google
runs on