Home » Publication » 23057

Dettaglio pubblicazione

2015, Formal Aspects of Component Software, Pages 145-161 (volume: 8997)

Solving Parity Games in Scala (04b Atto di convegno in volume)

DI STASIO ANTONIO, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino

DOI: 10.1007/978-3-319-15317-9_9
ISBN: 978-3-319-15316-2...
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma