@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00238930,
 author = {水谷, 哲也 and 五十嵐, 滋 and 小宮山, 弘樹 and 辻, 尚史 and Mizutani, Tetsuya and Igarashi, Shigeru and Komiyama, Hiroki and Tsuji, Takashi},
 book = {第34回プログラミング・シンポジウム報告集},
 month = {Jan},
 pages = {105--116},
 publisher = {情報処理学会},
 title = {一二の並行プロセスの検証問題について},
 volume = {1993},
 year = {1993}
}