Baeten, J. C. M., Bergstra, J. A., & Klop, J. W. (1986). Decidability of bisimulation equivalence for processes generating context-free languages.
Chicago-Zitierstil (17. Ausg.)Baeten, Josephus C. M., Jan A. Bergstra, und Jan Willem Klop. Decidability of Bisimulation Equivalence for Processes Generating Context-free Languages. Amsterdam, 1986.
MLA-Zitierstil (9. Ausg.)Baeten, Josephus C. M., et al. Decidability of Bisimulation Equivalence for Processes Generating Context-free Languages. 1986.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.