Reachability in Tree-Like Component Systems is PSPACE-Complete

Mila E. Majster-Cederbaum, Nils Semmelrock. Reachability in Tree-Like Component Systems is PSPACE-Complete. Electronic Notes in Theoretical Computer Science, 263:197-210, 2010. [doi]

Authors

Mila E. Majster-Cederbaum

This author has not been identified. Look up 'Mila E. Majster-Cederbaum' in Google

Nils Semmelrock

This author has not been identified. Look up 'Nils Semmelrock' in Google