"Uezato Yuya,Yasuhiko Minamide","Synchronized Recursive Timed Automata","International Conference on Logic for Programming, Artificial Intelligence, and Reasoning","Lecture notes in computer science, LNCS","Springer","  9452",,"  249-265",2015,Nov.
"上里 友弥,南出 靖彦","更新可能時間オートマトンの新たな拡張について","日本ソフトウェア科学会３２回大会",,,,,,2015,Sept.