@article{JKS-lmcs14,
    Author = {Jan{\v{c}}ar, Petr and Karandikar, Prateek and Schnoebelen, {\relax Ph}ilippe},
    File = {On Reachability for Unidirectional Channel Systems Extended with Regular Tests - Jancar, Karandikar, Schnoebelen (0) (0) - a - a - h.pdf},
    Journal = {Logical Methods in Computer Science},
    Month = {April},
    Number = {{2:2}},
    Title = {On Reachability for Unidirectional Channel Systems Extended with Regular Tests},
    URL = {http://arxiv.org/abs/1406.5067},
    Volume = {11},
    Year = {2015},
    bdsk-url-1 = {http://arxiv.org/abs/1406.5067},
    bdsk-url-2 = {http://dx.doi.org/10.2168/LMCS-11(2:2)2015},
    date-added = {2015-08-19 12:40:17 +0000},
    date-modified = {2015-08-19 12:40:17 +0000},
    doi = {10.2168/LMCS-11(2:2)2015}
}

@article{JKS-lmcs14, Author = {Jan{\v{c}}ar, Petr and Karandikar, Prateek and Schnoebelen, {\relax Ph}ilippe}, File = {On Reachability for Unidirectional Channel Systems Extended with Regular Tests - Jancar, Karandikar, Schnoebelen (0) (0) - a - a - h.pdf}, Journal = {Logical Methods in Computer Science}, Month = {April}, Number = {{2:2}}, Title = {On Reachability for Unidirectional Channel Systems Extended with Regular Tests}, URL = {http://arxiv.org/abs/1406.5067}, Volume = {11}, Year = {2015}, bdsk-url-1 = {http://arxiv.org/abs/1406.5067}, bdsk-url-2 = {http://dx.doi.org/10.2168/LMCS-11(2:2)2015}, date-added = {2015-08-19 12:40:17 +0000}, date-modified = {2015-08-19 12:40:17 +0000}, doi = {10.2168/LMCS-11(2:2)2015} }