Home » Publication » 18514

Dettaglio pubblicazione

2019, Automatic verification of data-centric business processes., Pages -

ICDT Test of Time Award (14a Premio o riconoscimento scientifico)

Deutsch Alin, Hull RICHARD BAXTER, Patrizi Fabio, Vianu: Victor

keywords

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