Report - Model Checking Business Processesib249/research/BCTCS06.Ioannis...Introduction Theoretical Background WS-BPEL Model Checking Business Processes Ioannis G. Baltopoulos ([email protected])

Please pass captcha verification before submit form