Talks and Poster Presentations (with Proceedings-Entry):
W. Dvorak, K. Chatterjee, M. Henzinger, V. Loitzenbauer:
"Improved Set-based Symbolic Algorithms for Parity Games";
Talk: Computer Science Logic - CSL 2017,
- 2017-08-24; in: "Computer Science Logic - CSL 2017",
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.