Burkhart, O., & Steffen, B. (1993). Pushdown processes: Parallel composition and model checking. Aachen: Technische Hochschule Aachen.
Chicago Style CitationBurkhart, Olaf., andfavorite Bernhard Steffen. Pushdown Processes: Parallel Composition and Model Checking. Aachen: Technische Hochschule Aachen, 1993.
MLA CitationBurkhart, 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.