Paper by Dietrich Kuske published in scientific journal Fundamenta Informaticae

TU Ilmenau

The paper "The theory of reachability of trace-pushdown systems."⋆ by  Dietrich Kuske  has been published in the scientific journal Fundamenta Informaticae, Volume 196, Issue 2. The paper is available at the following link https://fi.episciences.org/paper/view/id/19529.