TY - GEN
AU - Kupke, Clemens
AU - Marti, Johannes
AU - Venema, Yde
AU - Clemens Kupke and Johannes Marti and Yde Venema
TI - Succinct Graph Representations of μ-Calculus Formulas
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - hierachical equation systems
KW - alternating tree automata
KW - model checking
KW - modal mu-calculus
PY - 2022
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