Huch, F.2023-05-222023-05-222006https://dl.gi.de/handle/20.500.12116/41598deDynamische Deadlock-Suche in nebenläufigen funktionalen ProgrammenText/Journal Article0720-8928