TY  - RPRT
TI  - Branching Bisimilarity Checking for PRS
AU  - Qiang Yin
AU  - Yuxi Fu
AU  - Chaodong He
AU  - Mingzhang Huang
AU  - Xiuting Tao
PY  - 2014
UR  - https://arxiv.org/abs/1402.0050
ID  - 1402.0050
ER  -