Agents and Roles: Refinement in Alternating-Time Temporal Logic

Mark Ryan; Pierre-Yves Schobbens

Agents and Roles: Refinement in Alternating-Time Temporal Logic

Faculte d'informatique

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

langue originale	Anglais
titre	Proceedings of Agents: Theories, Achitectures and Languages (ATAL)
rédacteurs en chef	John Jules Meyer
Pages	100-114
Nombre de pages	15
Volume	2333
Etat de la publication	Publié - 2002

Contient cette citation

@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)",

}

Agents and Roles: Refinement in Alternating-Time Temporal Logic. / Ryan, Mark; Schobbens, Pierre-Yves.
Proceedings of Agents: Theories, Achitectures and Languages (ATAL). Ed. / John Jules Meyer. Vol 2333 2002. p. 100-114.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque