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