author = { Burkart, Olaf AND Steffen, Bernhard },

title = { Pushdown processes parallel composition and model checking },

publisher = {RWTH, Fachgruppe Informatik},

keywords = { Forschungsbericht , Bericht },

year = {[1993]},

booktitle = {Aachener Informatik-Berichte ; 93-10},

address = { Aachen },

url = { http://slubdd.de/katalog?TN_libero_mab2 }