Clément Tamines
Clément Tamines
Home
Publications
Talks
Light
Dark
Automatic
Partial Solvers for Generalized Parity Games
Date
Jun 22, 2019 12:00 AM
Event
MoRe’19 (LICS’19 workshop)
Location
Vancouver, Canada
Clément Tamines
PhD in Computer Science
Cite
×