Beitrag von Chris Köcher und Dietrich Kuske im Journal of Computer and System Sciences veröffentlicht

TU Ilmenau

Der Beitrag “Backwards-reachability for cooperating multi-pushdown systems” von Chris Köcher und Dietrich Kuske wurde zur Veröffentlichung im Journal of Computer and System Sciences (Volume 148, March 2025, 103601) angenommen. Ein Vorabdruck ist unter ScienceDirect verfügbar.