@inproceedings{LiCaiOgawaYuen:FORMATS:2013,
    Author = {Li, Guoqiang and Cai, Xiaojuan and Ogawa, Mizuhito and Yuen, Shoji},
    BookTitle = {Proc. of FORMATS'13},
    File = {Nested timed automata - Li, Cai, Ogawa, Yuen (0) (0) - a - a - r.pdf},
    ISBN = {978-3-642-40228-9},
    Keywords = {timed automata and pushdown automata and readme},
    Location = {Buenos Aires, Argentina},
    Pages = {168--182},
    Publisher = {Springer},
    Series = {LNCS},
    Title = {Nested timed automata},
    URL = {http://dx.doi.org/10.1007/978-3-642-40229-6\_12},
    Year = {2013},
    acmid = {2529514},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-40229-6\_12},
    date-added = {2013-10-18 15:52:01 +0000},
    date-modified = {2019-08-16 16:27:51 +0200},
    file-2 = {Nested timed automata - Li, Cai, Ogawa, Yuen (1) (0) - a - a - r.pdf},
    numpages = {15},
    doi = {10.1007/978-3-642-40229-6_12}
}

@inproceedings{LiCaiOgawaYuen:FORMATS:2013, Author = {Li, Guoqiang and Cai, Xiaojuan and Ogawa, Mizuhito and Yuen, Shoji}, BookTitle = {Proc. of FORMATS'13}, File = {Nested timed automata - Li, Cai, Ogawa, Yuen (0) (0) - a - a - r.pdf}, ISBN = {978-3-642-40228-9}, Keywords = {timed automata and pushdown automata and readme}, Location = {Buenos Aires, Argentina}, Pages = {168--182}, Publisher = {Springer}, Series = {LNCS}, Title = {Nested timed automata}, URL = {http://dx.doi.org/10.1007/978-3-642-40229-6_12}, Year = {2013}, acmid = {2529514}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-40229-6_12}, date-added = {2013-10-18 15:52:01 +0000}, date-modified = {2019-08-16 16:27:51 +0200}, file-2 = {Nested timed automata - Li, Cai, Ogawa, Yuen (1) (0) - a - a - r.pdf}, numpages = {15}, doi = {10.1007/978-3-642-40229-6_12} }