@inproceedings{Cotton-Barratt2017,
    Address = {Berlin, Heidelberg},
    Author = {Cotton-Barratt, Conrad and Murawski, Andrzej S. and Ong, C. -H. Luke},
    BookTitle = {Proc. of ESOP'17},
    Editor = {Yang, Hongseok},
    File = {chp\%3A10.1007\%2F978-3-662-54434-1\_12 (0) - a - a - a.pdf},
    ISBN = {978-3-662-54434-1},
    Pages = {314--340},
    Publisher = {Springer Berlin Heidelberg},
    Title = {ML and Extended Branching VASS},
    URL = {http://dx.doi.org/10.1007/978-3-662-54434-1\_12},
    Year = {2017},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-54434-1\_12},
    date-added = {2017-05-18 16:07:11 +0000},
    date-modified = {2017-05-18 16:07:45 +0000},
    doi = {10.1007/978-3-662-54434-1_12}
}

@inproceedings{Cotton-Barratt2017, Address = {Berlin, Heidelberg}, Author = {Cotton-Barratt, Conrad and Murawski, Andrzej S. and Ong, C. -H. Luke}, BookTitle = {Proc. of ESOP'17}, Editor = {Yang, Hongseok}, File = {chp\%3A10.1007\%2F978-3-662-54434-1_12 (0) - a - a - a.pdf}, ISBN = {978-3-662-54434-1}, Pages = {314--340}, Publisher = {Springer Berlin Heidelberg}, Title = {ML and Extended Branching VASS}, URL = {http://dx.doi.org/10.1007/978-3-662-54434-1_12}, Year = {2017}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-54434-1_12}, date-added = {2017-05-18 16:07:11 +0000}, date-modified = {2017-05-18 16:07:45 +0000}, doi = {10.1007/978-3-662-54434-1_12} }