著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Masaki Nakamura and Shuki Higashi and Kazutoshi Sakakibara and azuhiro Ogata,Formal verification of Fischer’s real-time mutual exclusion protocol by the OTS/CafeOBJ method,2020 59th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE),,IEEE,2020-09-23,,,1210-1215,https://cir.nii.ac.jp/crid/1360576122904171264,https://doi.org/10.23919/sice48898.2020.9240272