Cite This Page

From HandWiki

Bibliographic details for Alternating-time temporal logic