著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
YOTSUYANAGI Hiroyuki and HASHIZUME Masaki and TAMESADA Takeomi,Sequential Redundancy Removal Using Test Generation and Multiple Strongly Unreachable States,IEICE transactions on information and systems,09168532,一般社団法人電子情報通信学会,2002-10-01,85,10,1605-1608,https://cir.nii.ac.jp/crid/1573950402004399616,