Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) 橋爪 裕樹 and 山根 智,確率時間オートマトンの確率時間弱模倣検証理論,数理解析研究所講究録,18802818,[京都] : 京都大学数理解析研究所,2006-05,,1489,1-7,https://cir.nii.ac.jp/crid/1520572359991594368,