著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
緒方 和博,A Divide and Conquer Approach to Liveness Model Checking under Fairness & Anti-fairness Assumptions,Frontiers of Computer Science (FCS),,,2017,-,,,https://cir.nii.ac.jp/crid/1010000782280795528,