Home » Publication » 23056

Dettaglio pubblicazione

2016, Implementation and Application of Automata, Pages 64-76 (volume: 9705)

Solving parity games using an automata-based algorithm (04b Atto di convegno in volume)

Di Stasio A., Murano A., Perelli G., Vardi M. Y.

ISBN: 978-3-319-40946-7
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma