Sciweavers

Share
LPAR
2010
Springer

Relentful Strategic Reasoning in Alternating-Time Temporal Logic

8 years 3 months ago
Relentful Strategic Reasoning in Alternating-Time Temporal Logic
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
Added 14 Feb 2011
Updated 14 Feb 2011
Type Journal
Year 2010
Where LPAR
Authors Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
Comments (0)
books