Giacomo Baldi

List of publications from the DBLP Bibliography Server - FAQ

2005

1 EE Giacomo Baldi, Andrea Bracciali, Gian Luigi Ferrari, Emilio Tuosto: A Coordination-based Methodology for Security Protocol Verification. Electr. Notes Theor. Comput. Sci. 121: 23-46 (2005)

2005
1	EE	Giacomo Baldi, Andrea Bracciali, Gian Luigi Ferrari, Emilio Tuosto: A Coordination-based Methodology for Security Protocol Verification. Electr. Notes Theor. Comput. Sci. 121: 23-46 (2005)

Coauthor Index

1	Andrea Bracciali	[1]
2	Gian Luigi Ferrari (GianLuigi Ferrari)	[1]
3	Emilio Tuosto	[1]