Skip to content

Small Progress Measures for Solving Parity Games.

Marcin Jurdzinski

VenueASTACS
Year2000
ProceedingsSTACS

Browse the full STACS paper archive.