TY  - RPRT
TI  - Branching Bisimilarity of Normed BPA Processes is in NEXPTIME
AU  - Wojciech Czerwiński
AU  - Petr Jančar
PY  - 2015
UR  - https://arxiv.org/abs/1407.0645
ID  - 1407.0645
ER  -