Davide Daolio

	2007
2		Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Computing: Practice and Experience 8(1): (2007)
	2004
1		Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello: Specification and verification of agent interaction protocols in a logic-based system. SAC 2004: 72-78

Coauthor Index

1	Marco Alberti	[1] [2]
2	Federico Chesani	[2]
3	Marco Gavanelli	[1] [2]
4	Evelina Lamma	[1] [2]
5	Paola Mello	[1] [2]
6	Paolo Torroni	[1] [2]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page