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 by Predicate Abstraction

Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio. Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction. In Alistair Barros, Daniela Grigori, Nanjangud C. Narendra, Hoa Khanh Dam, editors, Service-Oriented Computing - 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings. Volume 9435 of Lecture Notes in Computer Science, pages 253-268, Springer, 2015. [doi]

Authors

Pavel Gonzalez

This author has not been identified. Look up 'Pavel Gonzalez' in Google

Andreas Griesmayer

This author has not been identified. Look up 'Andreas Griesmayer' in Google

Alessio Lomuscio

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