Burkart, O., & Steffen, B. (1992). Model checking for context-free processes. RWTH Aachen, Fachgruppe Informatik.
Chicago-Zitierstil (17. Ausg.)Burkart, Olaf, und Bernhard Steffen. Model Checking for Context-free Processes. Aachen: RWTH Aachen, Fachgruppe Informatik, 1992.
MLA-Zitierstil (9. Ausg.)Burkart, Olaf, und Bernhard Steffen. Model Checking for Context-free Processes. RWTH Aachen, Fachgruppe Informatik, 1992.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.