Dettaglio pubblicazione
2019, 23rd IEEE International Enterprise Distributed Object Computing Workshop, EDOC Workshops 2019, Pages 44-53
Verifying Petri Net-Based Process Models using Automated Planning (04b Atto di convegno in volume)
Agostinelli Simone, Maggi Fabrizio Maria, Marrella Andrea, Mecella Massimo
ISBN: 978-1-7281-4598-3
Gruppo di ricerca: Data Management and Semantic Technologies
keywords