Concepedia
1
Publications
53
Citations
H-Index
2010
Active since
Affiliations
Laboratoire d'Informatique Algorithmique: Fondements et Applications(Current)
Arnaud Da Costa is an author at Laboratoire d'Informatique Algorithmique: Fondements et Applications.
Publications per year
2010–2010
ATL with Strategy Contexts: Expressiveness and Model Checking
Arnaud Da Costa, François Laroussinie, Nicolas Markey · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 53 citations · Full text
Rows per page
1–1 of 1