Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
FUJIKURA T.,UPPAAL2k : Small Tutorial 日本語版 Ver. 1.0,http://www.it.uu.se/research/group/darts/uppaal/tutorial-jp.pdf,,,,,,,https://cir.nii.ac.jp/crid/1570291225067768448,