著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
EMERSON E. A.,On model-checking for fragments of μ-calculus,Proc. 5th CAV,,,1993,,,385-396,https://cir.nii.ac.jp/crid/1571980073974392064,