Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction
Attributed to:
Trusted Autonomous Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-662-48616-0_16
Publication URI: http://dx.doi.org/10.1007/978-3-662-48616-0_16
Type: Book Chapter
Book Title: Service-Oriented Computing - 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings (2015)
Page Reference: 253-268
ISBN: 978-3-662-48615-3