![](https://www.pdfsearch.io/img/8ef21de44e45cd0fe802fe066fce7ade.jpg) Date: 2013-12-08 11:30:17
| | Reasoning about Strategies: From module checking to strategy logic Aniello Murano based on joint works with Fabio Mogavero, Giuseppe Perelli, Luigi Sauro, and Moshe Y. VardiAdd to Reading ListSource URL: people.na.infn.itDownload Document from Source Website File Size: 423,97 KBShare Document on Facebook
|