TY  - RPRT
TI  - On Reachability for Unidirectional Channel Systems Extended with Regular Tests
AU  - Jancar Petr
AU  - Prateek Karandikar
AU  - Philippe Schnoebelen
PY  - 2015
DO  - 10.2168/lmcs-11(2:2)2015
UR  - https://arxiv.org/abs/1406.5067
ID  - 1406.5067
ER  -