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
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords