Home » Publication » 23016

Dettaglio pubblicazione

2017, LOGICAL METHODS IN COMPUTER SCIENCE, Pages - (volume: 13)

Reasoning about strategies: On the satisfiability problem (01a Articolo in rivista)

Mogavero F., Murano A., Perelli G., Vardi M. Y.

DOI: 10.23638/LMCS-13(1:9)2017
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma