Arbeit von Dietrich Kuske im Fachjournal Fundamenta Informaticae veröffentlicht

TU Ilmenau

Die Arbeit "The theory of reachability of trace-pushdown systems." von Dietrich Kuske wurde im Fachjournal Fundamenta Informaticae, Volume 196, Issue 2 veröffentlicht. Der Artikel ist unter dem Link https://fi.episciences.org/paper/view/id/19529 erreichbar.