Approximating ATL* in ATL

Aidan Harding; Mark Ryan; Pierre-Yves Schobbens

Approximating ATL* in ATL

Aidan Harding, Mark Ryan, Pierre-Yves Schobbens

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 the Third International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI02, Venice
rédacteurs en chef	Tino Cortesi
Pages	289-301
Nombre de pages	13
Volume	2294
Etat de la publication	Publié - 2002

Contient cette citation

@inproceedings{51f4f08e2b2949ba88f53444e8be3666,

title = "Approximating ATL* in ATL",

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

note = "Publication editors : Tino Cortesi",

year = "2002",

language = "English",

volume = "2294",

pages = "289--301",

editor = "Tino Cortesi",

booktitle = "Proceedings of the Third International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI02, Venice",

}

Approximating ATL* in ATL. / Harding, Aidan; Ryan, Mark; Schobbens, Pierre-Yves.
Proceedings of the Third International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI02, Venice. Ed. / Tino Cortesi. Vol 2294 2002. p. 289-301.

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

TY - GEN

T1 - Approximating ATL* in ATL

AU - Harding, Aidan

AU - Ryan, Mark

AU - Schobbens, Pierre-Yves

N1 - Publication editors : Tino Cortesi

PY - 2002

Y1 - 2002

M3 - Conference contribution

VL - 2294

SP - 289

EP - 301

BT - Proceedings of the Third International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI02, Venice

A2 - Cortesi, Tino

ER -