| |
| 2008 | ||
|---|---|---|
| 2 | EE | Simone Frau, Roberto Gorrieri, Carlo Ferigato: Petri Net Security Checker: Structural Non-interference at Work. Formal Aspects in Security and Trust 2008: 210-225 |
| 2003 | ||
| 1 | Luca Bernardinello, Carlo Ferigato, Lucia Pomello: An algebraic model of observable properties in distributed systems. Theor. Comput. Sci. 290(1): 637-668 (2003) | |
| 1 | Luca Bernardinello | [1] |
| 2 | Simone Frau | [2] |
| 3 | Roberto Gorrieri | [2] |
| 4 | Lucia Pomello | [1] |