@article{Berard:2013:EPT:2438099.2438154,
    Address = {Essex, UK},
    Author = {B{\'e}rard, B. and Cassez, F. and Haddad, S. and Lime, D. and Roux, O. H.},
    File = {5948\_publication\_The\_Expres\_6033 (0) - a - a - z.pdf},
    ISSN = {0304-3975},
    Journal = {Theor. Comput. Sci.},
    Keywords = {Bisimilarity, Expressiveness, Language equivalence, Time Petri nets, Timed automata},
    Month = {February},
    Pages = {1--20},
    Publisher = {Elsevier Science Publishers Ltd.},
    Title = {The Expressive Power of Time Petri Nets},
    URL = {http://dx.doi.org/10.1016/j.tcs.2012.12.005},
    Volume = {474},
    Year = {2013},
    acmid = {2438154},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.tcs.2012.12.005},
    date-added = {2018-05-24 10:03:29 +0000},
    date-modified = {2018-05-24 10:03:29 +0000},
    issue_date = {February, 2013},
    numpages = {20},
    doi = {10.1016/j.tcs.2012.12.005}
}

@article{Berard:2013:EPT:2438099.2438154, Address = {Essex, UK}, Author = {B{\'e}rard, B. and Cassez, F. and Haddad, S. and Lime, D. and Roux, O. H.}, File = {5948_publication_The_Expres_6033 (0) - a - a - z.pdf}, ISSN = {0304-3975}, Journal = {Theor. Comput. Sci.}, Keywords = {Bisimilarity, Expressiveness, Language equivalence, Time Petri nets, Timed automata}, Month = {February}, Pages = {1--20}, Publisher = {Elsevier Science Publishers Ltd.}, Title = {The Expressive Power of Time Petri Nets}, URL = {http://dx.doi.org/10.1016/j.tcs.2012.12.005}, Volume = {474}, Year = {2013}, acmid = {2438154}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.tcs.2012.12.005}, date-added = {2018-05-24 10:03:29 +0000}, date-modified = {2018-05-24 10:03:29 +0000}, issue_date = {February, 2013}, numpages = {20}, doi = {10.1016/j.tcs.2012.12.005} }