|
Japanese / English
|
|
||
| トップ & 開催スケジュール / 取り扱う分野 / 表彰 / 参加・発表申込み方法 / 写真集 / 専門委員 / DB / リンク | ||
DB info
平川豊, 荒川則泰, 大友健治,"縮退到達可能性解析における網羅性について",
信学技報 CS95-88, pp. 88-90, 1995年9月.
Hirakawa Yutaka, Arakawa Noriyasu and Otomo Kenji,
"On Exhaustiveness of Reduced Reachability Analysis,"
IEICE Tech. Rep., CS95-88, pp. 88-90, Sep. 1995.
資料番号: CS95-88, SSE95-68, IN95-39
pLaTeX format
機械的に名前の省略を行っています。上と比較して誤りがないことを確認してからカット＆ペーストして下さい。
\bibitem{cs95-88}
平川豊, 荒川則泰, 大友健治,
``縮退到達可能性解析における網羅性について'',
信学技報 CS95-88, pp.~88-90, 1995年9月.
\bibitem{cs95-88}
Hirakawa~Yutaka, Arakawa~Noriyasu and Otomo~Kenji,
``On Exhaustiveness of Reduced Reachability Analysis,''
{\em IEICE Tech. Rep.}, CS95-88, pp.~88-90, Sep. 1995.
| トップ & 開催スケジュール / 取り扱う分野 / 表彰 / 参加・発表申込み方法 / 写真集 / 専門委員 / DB / リンク |
ご意見，ご要望のある方は，ＣＳ研究会ホームページ管理者にご連絡ください．迷惑メール対策により，ホームページ記載のメールアドレスの一部を全角文字または画像としております．あらかじめご了承ください．
 |
IEICEホームページ |  |
 |
情報伝送と信号処理 ワークショップ |