Pubblicazioni

Reasoning about strategies: On the satisfiability problem

2017 - LOGICAL METHODS IN COMPUTER SCIENCE
Mogavero, F.; Murano, A.; Perelli, G.; Vardi, M. Y.

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma