@article{CTT100779699,
  author = {Yuya Uezato and Yasuhiko Minamide},
  title = {Configuration Reachability Analysis of Synchronized Recursive Timed Automata},
  journal = {コンピュータソフトウェア},
  year = 2018,
}

@inproceedings{CTT100715385,
  author = {Uezato Yuya and Yasuhiko Minamide},
  title = {Synchronized Recursive Timed Automata},
  booktitle = {Lecture notes in computer science, LNCS},
  year = 2015,
}

@inproceedings{CTT100715392,
  author = {上里 友弥 and 南出 靖彦},
  title = {更新可能時間オートマトンの新たな拡張について},
  booktitle = {},
  year = 2015,
}