M | |
---|---|
[MMP+12] | Fabio Mogavero, Aniello Murano, Giuseppe Perelli, and Moshe Y. Vardi. Reasoning About Strategies: On the Model-Checking Problem. Research Report cs.LO/1112.6275, arXiv, December 2012. |
Search
Displayed 1 resultList of authors
- 1
- 1
- 1
- 1
M | |
---|---|
[MMP+12] | Fabio Mogavero, Aniello Murano, Giuseppe Perelli, and Moshe Y. Vardi. Reasoning About Strategies: On the Model-Checking Problem. Research Report cs.LO/1112.6275, arXiv, December 2012. |