Andrea Callia D'Iddio, Christian H. Schunck, Franco Arcieri, Maurizio Talamo. Extending abstraction-refinement methods for compliance checking of inter-organizational business processes with incomplete information. In IEEE International Carnahan Conference on Security Technology, ICCST 2016, Orlando, FL, USA, October 24-27, 2016. pages 1-7, IEEE, 2016. [doi]
Abstract is missing.