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

First Author: Belardinelli F
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-642-34321-6_2

Publication URI: http://dx.doi.org/10.1007/978-3-642-34321-6_2

Type: Book Chapter

Book Title: Service-Oriented Computing - 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings (2010)

Page Reference: 17-31

ISBN: 978-3-642-34320-9

ISSN: 1382-3256