@misc{oai:aichi-pu.repo.nii.ac.jp:00002071,
 author = {野村, 和輝},
 month = {2014-09-09},
 note = {2013年度卒業論文要旨, 情報科学部情報科学科},
 title = {抑止アーク付きマークグラフのデッドロック解析},
 year = {}
}