ICDT Test of Time Award on Automatic verification of data-centric business processes (2009). 2019. | Dipartimento di Ingegneria informatica, automatica e gestionale

ICDT Test of Time Award on Automatic verification of data-centric business processes (2009). 2019.

Premiato:

anno:

2020

Gruppo di ricerca:

Artificial Intelligence and Knowledge Representation

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma