Agents and Roles: Refinement in Alternating-Time Temporal Logic

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of Agents: Theories, Achitectures and Languages (ATAL)
Editors	John Jules Meyer
Pages	100-114
Number of pages	15
Volume	2333
Publication status	Published - 2002

Cite this

@inproceedings{a83ed50f93204eea865dfcceff025dfb,

title = "Agents and Roles: Refinement in Alternating-Time Temporal Logic",

author = "Mark Ryan and Pierre-Yves Schobbens",

note = "Publication editors : John-Jules Meyer",

year = "2002",

language = "English",

volume = "2333",

pages = "100--114",

editor = "Meyer, {John Jules}",

booktitle = "Proceedings of Agents: Theories, Achitectures and Languages (ATAL)",

}