H | |
---|---|
[HP06] | Thomas A. Henzinger and Nir Piterman. Solving Games without Determinization. In CSL'06, Lecture Notes in Computer Science 4207, pages 395-410. Springer-Verlag, September 2006. |
Search
Displayed 1 resultList of authors
- 1
- 1
H | |
---|---|
[HP06] | Thomas A. Henzinger and Nir Piterman. Solving Games without Determinization. In CSL'06, Lecture Notes in Computer Science 4207, pages 395-410. Springer-Verlag, September 2006. |