Home » Publication » 23034

Dettaglio pubblicazione

2012, CONCUR 2012 – Concurrency Theory, Pages 193-208 (volume: 7454)

What makes ATL* decidable? A decidable fragment of strategy logic (04b Atto di convegno in volume)

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

ISBN: 978-3-642-32939-5...
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma