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, Stockholm; 2017-08-20 - 2017-08-24; in: "Computer Science Logic - CSL 2017", (2017), 1 - 21.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Created from the Publication Database of the Vienna University of Technology.