Dettaglio pubblicazione
2012, Proceedings of the 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012, Pages 319-328
An abstraction technique for the verification of artifact-centric systems (04b Atto di convegno in volume)
F. Belardinelli, A. Lomuscio, Patrizi Fabio
ISBN: 9781577355601
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords