Publikation bearbeiten
Faster enabledness-updates for the reachability graph computation
(
Teil einer Monographie/eines Konferenzbandes
)