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

DOI: 10.1007/978-3-642-34321-6_2
ISBN: 9783642343209, 97...
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma