APA (7th ed.) Citation

Burkart, O., Caucal, D., & Steffen, B. (1994). An elementary bisimulation decision procedure for arbitrary context free processes. RWTH, Fachgruppe Informatik.

Chicago Style (17th ed.) Citation

Burkart, Olaf, Didier Caucal, and Bernhard Steffen. An Elementary Bisimulation Decision Procedure for Arbitrary Context Free Processes. Aachen: RWTH, Fachgruppe Informatik, 1994.

MLA (9th ed.) Citation

Burkart, Olaf, et al. An Elementary Bisimulation Decision Procedure for Arbitrary Context Free Processes. RWTH, Fachgruppe Informatik, 1994.