@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00156912,
 author = {岩崎, 直木 and 和崎, 克己 and Iwasaki, Naoki and Wasaki, Katsumi},
 book = {情報科学技術フォーラム一般講演論文集},
 issue = {1},
 month = {Aug},
 pages = {71--74},
 publisher = {情報処理学会},
 title = {A-031 モデル検査系に対応する上位ハードウェア設計言語Melasy(A分野:モデル・アルゴリズム・プログラミング)},
 volume = {6},
 year = {2007}
}