著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) DESIGN I. S.,Automatic Generation of Fast Timed Simulation Models for Operating Systems,"Proc. of the Design, Automation and Test in Europe (DATE), May 2002",,,2002,,,64-70,https://cir.nii.ac.jp/crid/1570291226068108416,