F | |
---|---|
[FMM+18] | Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, and Sasha Rubin. Quantifying Bounds in Strategy Logic. In CSL'18, Leibniz International Proceedings in Informatics 119, pages 23:1-23:23. Leibniz-Zentrum für Informatik, September 2018. |
Search
Displayed 1 resultList of authors
- 1
- 1
- 1
- 1