An Open Platform for Business Process Modeling and Verification.

Antonio De Nicola, Michele Missikoff, Maurizio Proietti, Fabrizio Smith

Browse the full DEXA paper archive.