@inproceedings{ABGMN-concur08,
    Address = {Toronto, Canada},
    Author = {Akshay, S. and Bollig, Benedikt and Gastin, Paul and Mukund, Madhavan and Narayan Kumar, K.},
    BookTitle = {{P}roceedings of the 19th {I}nternational {C}onference on {C}oncurrency {T}heory ({CONCUR}'08)},
    Editor = {van Breugel, Franck and Chechik, Marsha},
    File = {Distributed Timed Automata with Independently Evolving Clocks - Akshay, Bollig, Gastin, Mukund, Narayan Kumar (0) (0) - a - a - v.pdf},
    Keywords = {timed automata},
    Month = {August},
    Pages = {82-97},
    Publisher = {Springer},
    Series = {Lecture Notes in Computer Science},
    Title = {Distributed Timed Automata with Independently Evolving Clocks},
    URL = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/ABGMN-concur08.pdf},
    Volume = {5201},
    Year = {2008},
    bdsk-url-1 = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/ABGMN-concur08.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-85361-9\_10},
    date-added = {2012-03-19 15:15:57 +0100},
    date-modified = {2012-05-28 09:10:40 +0000},
    doi = {10.1007/978-3-540-85361-9_10}
}

@inproceedings{ABGMN-concur08, Address = {Toronto, Canada}, Author = {Akshay, S. and Bollig, Benedikt and Gastin, Paul and Mukund, Madhavan and Narayan Kumar, K.}, BookTitle = {{P}roceedings of the 19th {I}nternational {C}onference on {C}oncurrency {T}heory ({CONCUR}'08)}, Editor = {van Breugel, Franck and Chechik, Marsha}, File = {Distributed Timed Automata with Independently Evolving Clocks - Akshay, Bollig, Gastin, Mukund, Narayan Kumar (0) (0) - a - a - v.pdf}, Keywords = {timed automata}, Month = {August}, Pages = {82-97}, Publisher = {Springer}, Series = {Lecture Notes in Computer Science}, Title = {Distributed Timed Automata with Independently Evolving Clocks}, URL = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/ABGMN-concur08.pdf}, Volume = {5201}, Year = {2008}, bdsk-url-1 = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/ABGMN-concur08.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-85361-9_10}, date-added = {2012-03-19 15:15:57 +0100}, date-modified = {2012-05-28 09:10:40 +0000}, doi = {10.1007/978-3-540-85361-9_10} }