Correction to: A linear-time branching-time perspective on interface automata

Walter Vogler, Gerald Lüttgen. Correction to: A linear-time branching-time perspective on interface automata. Acta Informatica, 58(6):677, 2021. [doi]

Abstract

Abstract is missing.