APA Citation

Burkhart, O., & Steffen, B. (1993). Pushdown processes: Parallel composition and model checking. Aachen: Technische Hochschule Aachen.

Chicago Style Citation

Burkhart, Olaf., andfavorite Bernhard Steffen. Pushdown Processes: Parallel Composition and Model Checking. Aachen: Technische Hochschule Aachen, 1993.

MLA Citation

Burkhart, Olaf., andfavorite Bernhard Steffen. Pushdown Processes: Parallel Composition and Model Checking. Aachen: Technische Hochschule Aachen, 1993.

Warning: These citations may not always be 100% accurate.