O. Burkart

• O. Burkart and B. Steffen. Composition, decomposition and model checking of pushdown processes. Nordic Journal of Computing, 2(2):89-125, Summer 1995. Abstract, References, Citations, etc.

Shortcuts: