Approximating ATL* in ATL

Aidan Harding, Mark Ryan, Pierre-Yves Schobbens

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

Original language	English
Title of host publication	Proceedings of the Third International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI02, Venice
Editors	Tino Cortesi
Pages	289-301
Number of pages	13
Volume	2294
Publication status	Published - 2002

Cite this

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

}

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 -