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)
http://dx.doi.org/10.4230/LIPIcs.CSL.2017.18
Created from the Publication Database of the Vienna University of Technology.