Burkart, O., & Steffen, B. (1993). Pushdown processes: Parallel composition and model checking.
Chicago-Zitierstil (17. Ausg.)Burkart, Olaf, und Bernhard Steffen. Pushdown Processes: Parallel Composition and Model Checking. Passau, 1993.
MLA-Zitierstil (9. Ausg.)Burkart, Olaf, und Bernhard Steffen. Pushdown Processes: Parallel Composition and Model Checking. 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.