@article{ABGMK:FI:2014,
    Address = {Amsterdam, The Netherlands, The Netherlands},
    Author = {Akshay, S. and Bollig, Benedikt and Gastin, Paul and Mukund, Madhavan and Kumar, K. Narayan},
    File = {Distributed Timed Automata with Independently Evolving Clocks - Akshay, Bollig, Gastin, Mukund, Kumar (0) (0) - a - a - v.pdf},
    ISSN = {0169-2968},
    Journal = {Fundam. Inf.},
    Keywords = {Distributed Systems, Timed Automata},
    Month = {October},
    Number = {4},
    Pages = {377--407},
    Publisher = {IOS Press},
    Title = {Distributed Timed Automata with Independently Evolving Clocks},
    URL = {http://dx.doi.org/10.3233/FI-2014-996},
    Volume = {130},
    Year = {2014},
    acmid = {2608456},
    bdsk-url-1 = {http://dx.doi.org/10.3233/FI-2014-996},
    date-added = {2015-10-12 14:19:28 +0000},
    date-modified = {2018-03-12 18:45:46 +0000},
    issue_date = {October 2014},
    numpages = {31},
    doi = {10.3233/FI-2014-996}
}

@article{ABGMK:FI:2014, Address = {Amsterdam, The Netherlands, The Netherlands}, Author = {Akshay, S. and Bollig, Benedikt and Gastin, Paul and Mukund, Madhavan and Kumar, K. Narayan}, File = {Distributed Timed Automata with Independently Evolving Clocks - Akshay, Bollig, Gastin, Mukund, Kumar (0) (0) - a - a - v.pdf}, ISSN = {0169-2968}, Journal = {Fundam. Inf.}, Keywords = {Distributed Systems, Timed Automata}, Month = {October}, Number = {4}, Pages = {377--407}, Publisher = {IOS Press}, Title = {Distributed Timed Automata with Independently Evolving Clocks}, URL = {http://dx.doi.org/10.3233/FI-2014-996}, Volume = {130}, Year = {2014}, acmid = {2608456}, bdsk-url-1 = {http://dx.doi.org/10.3233/FI-2014-996}, date-added = {2015-10-12 14:19:28 +0000}, date-modified = {2018-03-12 18:45:46 +0000}, issue_date = {October 2014}, numpages = {31}, doi = {10.3233/FI-2014-996} }