著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"平石, 裕実",ワークステーションクラスタによる並列分散型形式的論理設計検証,,[京都産業大学],2003,科学研究費補助金基盤研究(C)(2)研究成果報告書,,,,https://cir.nii.ac.jp/crid/1130000793652502272