Italiano (Italian) English (Inglese)
Thursday, 12 December 2024

Publications

Back
Pubblication Details
Authors:Davide D'Aprile
Laura Giordano
Valentina Gliozzi
Alberto Martelli
Gianluca Pozzato
Daniele Theseider Dupré
Title:Verifying Business Process Compliance by Reasoning about Actions
Published on:Computational Logic in Multi-Agent Systems, 11th International Workshop
Pages:--
Year:2010
Tipo Pubblicazione:Paper on Proceedings International Conference