J | |
---|---|
[Jur00] | Marcin Jurdziński.
Small Progress Measures for Solving Parity Games.
In STACS'00,
Lecture Notes in Computer Science 1770, pages 290-301. Springer-Verlag, mars 2000.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
J | |
---|---|
[Jur00] | Marcin Jurdziński.
Small Progress Measures for Solving Parity Games.
In STACS'00,
Lecture Notes in Computer Science 1770, pages 290-301. Springer-Verlag, mars 2000.
|