@inproceedings{UezatoMinamide:LPAR15,
    Address = {Berlin, Heidelberg},
    Author = {Uezato, Yuya and Minamide, Yasuhiko},
    BookTitle = {Proc. of LPAR'15},
    File = {Synchronized Recursive Timed Automata - Uezato, Minamide (0) (0) - a - a - e.pdf},
    ISBN = {978-3-662-48898-0},
    Location = {Suva, Fiji},
    Pages = {249--265},
    Publisher = {Springer-Verlag},
    Series = {LPAR-20 2015},
    Title = {Synchronized Recursive Timed Automata},
    URL = {https://doi.org/10.1007/978-3-662-48899-7\_18},
    Year = {2015},
    acmid = {3089623},
    bdsk-url-1 = {https://doi.org/10.1007/978-3-662-48899-7\_18},
    date-added = {2019-03-08 11:45:49 +0100},
    date-modified = {2019-03-08 11:46:17 +0100},
    file-2 = {35\_1\_140 (0) - a - a - e.pdf},
    numpages = {17},
    doi = {10.1007/978-3-662-48899-7_18}
}

@inproceedings{UezatoMinamide:LPAR15, Address = {Berlin, Heidelberg}, Author = {Uezato, Yuya and Minamide, Yasuhiko}, BookTitle = {Proc. of LPAR'15}, File = {Synchronized Recursive Timed Automata - Uezato, Minamide (0) (0) - a - a - e.pdf}, ISBN = {978-3-662-48898-0}, Location = {Suva, Fiji}, Pages = {249--265}, Publisher = {Springer-Verlag}, Series = {LPAR-20 2015}, Title = {Synchronized Recursive Timed Automata}, URL = {https://doi.org/10.1007/978-3-662-48899-7_18}, Year = {2015}, acmid = {3089623}, bdsk-url-1 = {https://doi.org/10.1007/978-3-662-48899-7_18}, date-added = {2019-03-08 11:45:49 +0100}, date-modified = {2019-03-08 11:46:17 +0100}, file-2 = {35_1_140 (0) - a - a - e.pdf}, numpages = {17}, doi = {10.1007/978-3-662-48899-7_18} }