@inproceedings{Leroux:2013:RTL:2529453.2529467,
    Address = {Berlin, Heidelberg},
    Author = {Leroux, J{\'e}r\^{o}me and Praveen, M. and Sutre, Gr{\'e}goire},
    BookTitle = {Proc. of CONCUR'13},
    File = {A Relational Trace Logic for Vector Addition Systems with Application to Context-freeness - Leroux, Praveen, Sutre (1) (0) - a - a - w.pdf},
    ISBN = {978-3-642-40183-1},
    Location = {Buenos Aires, Argentina},
    Pages = {137--151},
    Publisher = {Springer-Verlag},
    Series = {CONCUR'13},
    Title = {A Relational Trace Logic for Vector Addition Systems with Application to Context-freeness},
    URL = {http://dx.doi.org/10.1007/978-3-642-40184-8\_11},
    Year = {2013},
    acmid = {2529467},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-40184-8\_11},
    date-added = {2016-06-14 09:01:20 +0000},
    date-modified = {2016-07-26 09:07:50 +0000},
    file-2 = {A Relational Trace Logic for Vector Addition Systems with Application to Context-freeness - Leroux, Praveen, Sutre (0) (0) - a - a - w.pdf},
    numpages = {15},
    doi = {10.1007/978-3-642-40184-8_11}
}

@inproceedings{Leroux:2013:RTL:2529453.2529467, Address = {Berlin, Heidelberg}, Author = {Leroux, J{\'e}r\^{o}me and Praveen, M. and Sutre, Gr{\'e}goire}, BookTitle = {Proc. of CONCUR'13}, File = {A Relational Trace Logic for Vector Addition Systems with Application to Context-freeness - Leroux, Praveen, Sutre (1) (0) - a - a - w.pdf}, ISBN = {978-3-642-40183-1}, Location = {Buenos Aires, Argentina}, Pages = {137--151}, Publisher = {Springer-Verlag}, Series = {CONCUR'13}, Title = {A Relational Trace Logic for Vector Addition Systems with Application to Context-freeness}, URL = {http://dx.doi.org/10.1007/978-3-642-40184-8_11}, Year = {2013}, acmid = {2529467}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-40184-8_11}, date-added = {2016-06-14 09:01:20 +0000}, date-modified = {2016-07-26 09:07:50 +0000}, file-2 = {A Relational Trace Logic for Vector Addition Systems with Application to Context-freeness - Leroux, Praveen, Sutre (0) (0) - a - a - w.pdf}, numpages = {15}, doi = {10.1007/978-3-642-40184-8_11} }