Home » Publication » 16896

Dettaglio pubblicazione

2012, Service-Oriented Computing, Pages 17-31 (volume: 7636 LNCS)

Verification of GSM-based artifact-centric systems through finite abstraction (04b Atto di convegno in volume)

Francesco Belardinelli, Alessio Lomuscio, PATRIZI FABIO

ISBN: 9783642343209, 97...
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma