Burkart, O., & Steffen, B. (1994). Composition, decomposition and model checking of pushdown processes. Univ. Passau, Fak. für Mathematik und Informatik.
Chicago-Zitierstil (17. Ausg.)Burkart, Olaf, und Bernhard Steffen. Composition, Decomposition and Model Checking of Pushdown Processes. Passau: Univ. Passau, Fak. für Mathematik und Informatik, 1994.
MLA-Zitierstil (9. Ausg.)Burkart, Olaf, und Bernhard Steffen. Composition, Decomposition and Model Checking of Pushdown Processes. Univ. Passau, Fak. für Mathematik und Informatik, 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.