著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
森 亮靖 and 友石 正彦 and 米崎 直樹,時相論理によるリアクティブシステム仕様の実現可能性に関する分類,コンピュータ ソフトウェア,02896540,日本ソフトウェア科学会,1998-05-15,15,3,3_213-3_225,https://cir.nii.ac.jp/crid/1390564238038544768,https://doi.org/10.11309/jssst.15.3_213