Dettaglio pubblicazione
2018, Implementation and Application of Automata, Pages 159-172 (volume: 10977)
Solving parity games: Explicit vs symbolic (04b Atto di convegno in volume)
Di Stasio A., Murano A., Vardi M. Y.
ISBN: 978-3-319-94812-6
keywords