@article{oai:ksu.repo.nii.ac.jp:00008708,
 author = {平石, 裕実 and Hiraishi, Hiromi},
 issue = {1},
 journal = {京都産業大学計算機科学研究所所報, The bulletin of the Institute of Computer Sciences Kyoto Sangyo University},
 month = {Jun},
 note = {10, KJ00000558121, P},
 pages = {105--109},
 title = {形式的論理設計検証に関する研究},
 volume = {11},
 year = {1994},
 yomi = {ヒライシ, ヒロミ}
}