Login / Signup

Extending abstraction-refinement methods for compliance checking of inter-organizational business processes with incomplete information.

Andrea Callia D'IddioChristian H. SchunckFranco ArcieriMaurizio Talamo
Published in: ICCST (2016)
Keyphrases