@inproceedings{NTA:Frozen:FORMATS:2015,
    Author = {Li, Guoqiang and Ogawa, Mizuhito and Yuen, Shoji},
    BookTitle = {Proc. of FORMATS'15},
    Editor = {Sankaranarayanan, Sriram and Vicario, Enrico},
    File = {Nested Timed Automata with Frozen Clocks - Li, Ogawa, Yuen (0) (0) - a - a - s.pdf},
    ISBN = {978-3-319-22974-4},
    Language = {English},
    Pages = {189--205},
    Publisher = {Springer},
    Series = {LNCS},
    Title = {Nested Timed Automata with Frozen Clocks},
    URL = {http://dx.doi.org/10.1007/978-3-319-22975-1\_13},
    Volume = {9268},
    Year = {2015},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-22975-1\_13},
    date-added = {2015-10-15 09:02:21 +0000},
    date-modified = {2015-10-16 11:38:41 +0000},
    doi = {10.1007/978-3-319-22975-1_13}
}

@inproceedings{NTA:Frozen:FORMATS:2015, Author = {Li, Guoqiang and Ogawa, Mizuhito and Yuen, Shoji}, BookTitle = {Proc. of FORMATS'15}, Editor = {Sankaranarayanan, Sriram and Vicario, Enrico}, File = {Nested Timed Automata with Frozen Clocks - Li, Ogawa, Yuen (0) (0) - a - a - s.pdf}, ISBN = {978-3-319-22974-4}, Language = {English}, Pages = {189--205}, Publisher = {Springer}, Series = {LNCS}, Title = {Nested Timed Automata with Frozen Clocks}, URL = {http://dx.doi.org/10.1007/978-3-319-22975-1_13}, Volume = {9268}, Year = {2015}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-22975-1_13}, date-added = {2015-10-15 09:02:21 +0000}, date-modified = {2015-10-16 11:38:41 +0000}, doi = {10.1007/978-3-319-22975-1_13} }