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