Verifying compliance of business processes with temporal answer sets

Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré

Research output: Contribution to journalConference articlepeer-review

Fingerprint

Dive into the research topics of 'Verifying compliance of business processes with temporal answer sets'. Together they form a unique fingerprint.

Keyphrases

Computer Science