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, March 2000.
|
Search
Displayed 1 resultList of authors
- 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, March 2000.
|