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