#OnlineFirst
Model-based verification of data protection mechanisms in collaborative business processes
Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen-Raudvere, Barbara Re & Francesco Tiezzi
https://doi.org/10.1007/s10270-024-01217-6

Comments