%0 Book
%T Pushdown processes parallel composition and model checking
%A Burkart, Olaf
%A Steffen, Bernhard
%I RWTH, Fachgruppe Informatik
%K Forschungsbericht
%K Bericht
%D [1993]
%C RWTH, Fachgruppe Informatik
%C Aachen
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation