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. Vardi

First Page		Document Content
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. Vardi Add to Reading List Source URL: people.na.infn.it Download Document from Source Website File Size: 423,97 KB Share Document on Facebook