Cited By
View all- Belluccini SDe Nicola RDumas MPullonen-Raudvere PRe BTiezzi F(2025)Model-based verification of data protection mechanisms in collaborative business processesSoftware and Systems Modeling10.1007/s10270-024-01217-6Online publication date: 3-Jan-2025
- Corradini FFornari FRe BRossi LPolini ATiezzi FVandin A(2024)Formal Approaches for Modeling and Analysis of Business Process CollaborationsLeveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola10.1007/978-3-031-73709-1_4(50-61)Online publication date: 27-Oct-2024
- Nivon QSalaün G(2022)Debugging of BPMN Processes Using Coloring TechniquesFormal Aspects of Component Software10.1007/978-3-031-20872-0_6(90-109)Online publication date: 2-Nov-2022
- Show More Cited By