Carlo Ferigato

	2008
2		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)

Coauthor Index

1	Luca Bernardinello	[1]
2	Simone Frau	[2]
3	Roberto Gorrieri	[2]
4	Lucia Pomello	[1]

Colors in the list of coauthors