Verifying Business Process Compliance by Reasoning about Actions [chapter]

Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré
2010 Lecture Notes in Computer Science  
doi:10.1007/978-3-642-14977-1_10 fatcat:torldzxhdzdobkhjgl74i2syqe