Home » Publication » 23053

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
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma