Arbeit von Chris Köcher und Dietrich Kuske im Journal of Theoretical Computer Science veröffentlicht

TU Ilmenau

Die Arbeit "Reachability in Trace-Pushdown Systems" von Chris Köcher und Dietrich Kuske wurde im Journal of Theoretical Computer Science, 2026 veröffentlicht. Die Veröffentlichung ist unter dem folgenden Link verfügbar.