Reachability in Tree-Like Component Systems is PSPACE-Complete
Mila Majster-Cederbaum, Nils SemmelrockVolume:
263
Year:
2010
Language:
english
Pages:
14
DOI:
10.1016/j.entcs.2010.05.012
File:
PDF, 321 KB
english, 2010