@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00150646,
 author = {堀内, 維作 and 和崎, 克己 and Horiuchi, Isaku and Wasaki, Katsumi},
 book = {情報科学技術フォーラム講演論文集},
 issue = {1},
 month = {Sep},
 pages = {393--396},
 publisher = {情報処理学会},
 title = {C-006 高水準ペトリネットを記述可能な援用ツールHiPS2と非同期回路検証への適用(ディペンダブルシステム,C分野:ハードウェア・アーキテクチャ)},
 volume = {10},
 year = {2011}
}