1
Published 2012
Table of Contents: ... -- Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction -- Service Component Architecture...
View full text
Electronic eBook