REWERSE-RP-2005-97

Laura Giordano, Alberto Martelli, Camilla Schwind:
Specialization of Interaction Protocols in a Temporal Action Logic.


In: Proceedings of 3rd Int. Workshop on Logic and Communication in Multi-Agent Systems (LCMAS'05), Edinburgh, Scotland (1st August 2005), August 2005

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-97

BibTeX:

@inproceedings{REWERSE-RP-2005-97,
	author = {Laura Giordano and Alberto Martelli and Camilla Schwind},
	title = {Specialization of Interaction Protocols in a
Temporal Action Logic},
	booktitle = {Proceedings of 3rd Int. Workshop on Logic and Communication in Multi-Agent Systems, Edinburgh, Scotland (1st August 2005)},
	year = {2005},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-97}
}