| 2009 | ||
|---|---|---|
| 1 | 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] |