TY - GEN
AU - Chatterjee, Krishnendu
AU - Dvorák, Wolfgang
AU - Henzinger, Monika
AU - Loitzenbauer, Veronika
AU - Krishnendu Chatterjee and Wolfgang Dvorák and Monika Henzinger and Veronika Loitzenbauer
TI - Improved Set-Based Symbolic Algorithms for Parity Games
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - progress measure
KW - symbolic computation
KW - graph games
KW - model checking
KW - parity games
PY - 2017
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation