@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00138389,
 book = {全国大会講演論文集},
 issue = {アーキテクチャ},
 month = {Mar},
 pages = {179--180},
 publisher = {情報処理学会},
 title = {時間制約ガード付LOTOS仕様(E-LOTOS)による論理回路ライブラリDILLの拡張},
 volume = {第71回},
 year = {2009}
}