著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"山川, 眞延 and 川端, 英之 and 弘中, 哲夫",モデル検査ツールSPINによる並行プログラムのデバッグを支援する状態遷移追跡支援ツールの設計と実装,第84回全国大会講演論文集,,,2022-02-17,2022,1,305-306,https://cir.nii.ac.jp/crid/1050294020602792960,