Home » Publication » 23033

Dettaglio pubblicazione

2014, ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, Pages 1-47 (volume: 15)

Reasoning about strategies: On the model-checking problem (01a Articolo in rivista)

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

DOI: 10.1145/2631917
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma