![]() |
| * | 2009 | |
|---|---|---|
| 1 | EE | Alessandro Armando, Enrico Giunchiglia, Serena Elisa Ponta: Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach. TrustBus 2009: 63-72 |
| 1 | Alessandro Armando | [1] |
| 2 | Enrico Giunchiglia | [1] |