Verifying Business Process Compliance by Reasoning about Actions

Research output: Contribution to conference › Paper › peer-review

Original language	English
Pages	99-116
Number of pages	18
Publication status	Published - 2010
Event	CLIMA 2010 - Lisbon, Portugal Duration: 1 Jan 2010 → …

Access to Document

@conference{d80c54f4cc854030b91710aec84464d2,

title = "Verifying Business Process Compliance by Reasoning about Actions",

author = "D. D'APRILE and Laura GIORDANO and V. GLIOZZI and A. MARTELLI and POZZATO, \{G. L.\} and \{THESEIDER DUPRE'\}, Daniele",

year = "2010",

language = "English",

pages = "99--116",

note = "CLIMA 2010 ; Conference date: 01-01-2010",

}