@incollection{GuhaNarayanArun-Kumar:2014,
    Author = {Guha, Shibashis and Narayan, Chinmay and Arun-Kumar, S.},
    BookTitle = {CONCUR 2014 -- Concurrency Theory},
    Editor = {Baldan, Paolo and Gorla, Daniele},
    File = {Reducing Clocks in Timed Automata while Preserving Bisimulation - Guha, Narayan, Arun-Kumar (0) (0) - a - a - f.pdf},
    ISBN = {978-3-662-44583-9},
    Language = {English},
    Pages = {527-543},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Reducing Clocks in Timed Automata while Preserving Bisimulation},
    URL = {http://dx.doi.org/10.1007/978-3-662-44584-6\_36},
    Volume = {8704},
    Year = {2014},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-44584-6\_36},
    date-added = {2014-08-28 19:53:03 +0000},
    date-modified = {2014-08-28 19:53:03 +0000},
    doi = {10.1007/978-3-662-44584-6_36}
}

@incollection{GuhaNarayanArun-Kumar:2014, Author = {Guha, Shibashis and Narayan, Chinmay and Arun-Kumar, S.}, BookTitle = {CONCUR 2014 -- Concurrency Theory}, Editor = {Baldan, Paolo and Gorla, Daniele}, File = {Reducing Clocks in Timed Automata while Preserving Bisimulation - Guha, Narayan, Arun-Kumar (0) (0) - a - a - f.pdf}, ISBN = {978-3-662-44583-9}, Language = {English}, Pages = {527-543}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Reducing Clocks in Timed Automata while Preserving Bisimulation}, URL = {http://dx.doi.org/10.1007/978-3-662-44584-6_36}, Volume = {8704}, Year = {2014}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-44584-6_36}, date-added = {2014-08-28 19:53:03 +0000}, date-modified = {2014-08-28 19:53:03 +0000}, doi = {10.1007/978-3-662-44584-6_36} }