Specialization of Interaction Protocols in a Temporal Action Logic

Laura GIORDANO, A MARTELLI, C. SCHWIND

Research output: Contribution to conferencePaper

Original languageEnglish
Publication statusPublished - 1 Jan 2005
EventLCMAS’05 (3rd Int. Workshop on Logic and Communication in Multi-Agent Systems) - Edinburgh, UK
Duration: 1 Jan 2005 → …

Conference

ConferenceLCMAS’05 (3rd Int. Workshop on Logic and Communication in Multi-Agent Systems)
CityEdinburgh, UK
Period1/01/05 → …

Cite this