@article{oai:ksu.repo.nii.ac.jp:00002524,
 author = {平石, 裕実 and Hiraishi, Hiromi},
 journal = {京都産業大学先端科学技術研究所所報, The bulletin of the Research Institute of Advanced Technology Kyoto Sangyo University},
 month = {Mar},
 note = {4, KJ00000692150, P, 研究論文},
 pages = {17--28},
 title = {Verification of Deadlock Free Property of Asynchronous Robot Control Programs},
 volume = {1},
 year = {2002},
 yomi = {ヒライシ, ヒロミ}
}