|
Japanese / English
|
|
||
| トップ & 開催スケジュール / 取り扱う分野 / 表彰 / 参加・発表申込み方法 / 写真集 / 専門委員 / DB / リンク | ||
DB info
白鳥則郎, 木村成伴, 朴炳昊,"再帰プロセスのための等価性判定およびエラ-検出アルゴリズム",
信学技報 CS97-75, pp. 51-56, 1997年9月.
Shiratori Norio, Kimura Shigetomo and Dark Byung-Ho,
"An Algorithm to Verify Equivalence and to Detect Errors for Recursive Processes,"
IEICE Tech. Rep., CS97-75, pp. 51-56, Sep. 1997.
資料番号: CS97-75, SSE97-84, IN97-77
pLaTeX format
機械的に名前の省略を行っています。上と比較して誤りがないことを確認してからカット＆ペーストして下さい。
\bibitem{cs97-75}
白鳥則郎, 木村成伴, 朴炳昊,
``再帰プロセスのための等価性判定およびエラ-検出アルゴリズム'',
信学技報 CS97-75, pp.~51-56, 1997年9月.
\bibitem{cs97-75}
Shiratori~Norio, Kimura~Shigetomo and Dark~Byung-Ho,
``An Algorithm to Verify Equivalence and to Detect Errors for Recursive Processes,''
{\em IEICE Tech. Rep.}, CS97-75, pp.~51-56, Sep. 1997.
| トップ & 開催スケジュール / 取り扱う分野 / 表彰 / 参加・発表申込み方法 / 写真集 / 専門委員 / DB / リンク |
ご意見，ご要望のある方は，ＣＳ研究会ホームページ管理者にご連絡ください．迷惑メール対策により，ホームページ記載のメールアドレスの一部を全角文字または画像としております．あらかじめご了承ください．
 |
IEICEホームページ |  |
 |
情報伝送と信号処理 ワークショップ |