Dettaglio pubblicazione
2011, Service Oriented Computing, Pages 142-156 (volume: 7084)
Verification of deployed artifact systems via data abstraction (04b Atto di convegno in volume)
Francesco Belardinelli, Alessio Lomuscio, Patrizi Fabio
ISBN: 9783642255342, 97...
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords