著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) FUKUDA Mitsuko and YAMADA Naoyuki and TESHIMA Toshiaki and KAN Ken'ichi and UTSUNOMIYA Mitsugu,Logic Verification System for Power Plant Sequence Diagrams.,Journal of Nuclear Science and Technology(日本原子力学会英文論文誌),0022-3131,一般社団法人 日本原子力学会,1994,31,2,102-112,https://cir.nii.ac.jp/crid/1390282679071522944,https://doi.org/10.3327/jnst.31.102