電子情報通信学会 > 通信ソサイエティ > コミュニケーションシステム研究会 & CSワークショップ
Japanese / English

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 / リンク

ご意見,ご要望のある方は,CS研究会ホームページ管理者にご連絡ください.迷惑メール対策により,ホームページ記載のメールアドレスの一部を全角文字または画像としております.あらかじめご了承ください.

IEICE logo  IEICEホームページ CSWS logo  情報伝送と信号処理
ワークショップ