From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

ATL with Strategy Contexts: Expressiveness and Model Checking.

A. Lopes, F. Laroussinie, и N. Markey. FSTTCS, том 8 из LIPIcs, стр. 120-132. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Quantified CTL: Expressiveness and Model Checking - (Extended Abstract).A. Lopes, F. Laroussinie, и N. Markey. CONCUR, том 7454 из Lecture Notes in Computer Science, стр. 177-192. Springer, (2012)Propriétés de jeux multi-agents. (Multi-agent games properties).A. Lopes. École normale supérieure de Cachan, France, (2011)ATL with Strategy Contexts: Expressiveness and Model Checking.A. Lopes, F. Laroussinie, и N. Markey. FSTTCS, том 8 из LIPIcs, стр. 120-132. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)ATL with Strategy Contexts and Bounded Memory.T. Brihaye, A. Lopes, F. Laroussinie, и N. Markey. LFCS, том 5407 из Lecture Notes in Computer Science, стр. 92-106. Springer, (2009)