@misc{oai:tsukuba.repo.nii.ac.jp:00047027,
 author = {Uezato, Yuya and 上里, 友弥},
 month = {},
 note = {2017},
 title = {Timed Pushdown Automata: Expressiveness and Reachability},
 year = {2018}
}