Home » Publication » 20798

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
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma