Görres, Andreas Oliver (2020) Erweiterung des CHASE-Werkzeugs ChaTEAU um ein Terminierungskriterium. Masters thesis, Universität Rostock.