%0 Generic
%T Fundamentals of Computation Theory: Forwards- and Backwards-Reachability for Cooperating Multi-pushdown Systems
%A Köcher, Chris
%A Kuske, Dietrich
%I Springer Nature Switzerland
%@ 1611-3349
%@ 0302-9743
%D 2023
%C Springer Nature Switzerland
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation