TY -
BOOK
AU - Burkart, Olaf
AU - Steffen, Bernhard
TI -
Pushdown processes
parallel composition and model checking
PB - RWTH, Fachgruppe Informatik
KW - Forschungsbericht
KW - Bericht
PY - [1993]
BT - Aachener Informatik-Berichte ; 93-10
CY - Aachen
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -