Burkart, O., Caucal, D., & Steffen, B. (1994). An elementary bisimulation decision procedure for arbitrary context free processes. RWTH, Fachgruppe Informatik.
Chicago-Zitierstil (17. Ausg.)Burkart, Olaf, Didier Caucal, und Bernhard Steffen. An Elementary Bisimulation Decision Procedure for Arbitrary Context Free Processes. Aachen: RWTH, Fachgruppe Informatik, 1994.
MLA-Zitierstil (9. Ausg.)Burkart, Olaf, et al. An Elementary Bisimulation Decision Procedure for Arbitrary Context Free Processes. RWTH, Fachgruppe Informatik, 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.