Verification of GSM-based Artifact-centric Systems by Predicate Abstraction

File Description SizeFormat 
icsoc2015.pdfAccepted version402.41 kBAdobe PDFView/Open
Title: Verification of GSM-based Artifact-centric Systems by Predicate Abstraction
Authors: Lomuscio, AR
griesmayer, A
gonzalez,
Item Type: Conference Paper
Issue Date: 16-Nov-2015
Date of Acceptance: 10-Jul-2015
URI: http://hdl.handle.net/10044/1/25996
DOI: https://dx.doi.org/10.1007/978-3-662-48616-0_16
ISSN: 0302-9743
Publisher: Springer
Start Page: 253
End Page: 268
Journal / Book Title: Lecture Notes in Computer Science
Volume: 9435
Copyright Statement: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-48616-0_16
Conference Name: International Conference on Service-Oriented Computing
Publication Status: Published
Start Date: 2015-11-16
Finish Date: 2015-11-19
Conference Place: Goa, India
Appears in Collections:Faculty of Engineering
Computing



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commonsx