/ プログラム/ 発表一覧/ 著者一覧/ 企業展示一覧/ jsai2013ホーム /

吉田 健人

*セッションの無断動画配信はご遠慮下さい。

Tweet #jsai2013 このエントリーをはてなブックマークに追加

氏名吉田 健人
ふりがなよしだ たけと
所属早稲田大学基幹理工学部情報理工学科

発表リスト

06月04日(Tue) 18:40〜20:20 B会場(-国際会議場201号室)
題目1B5-6 LMNtal 並列モデル検査における 状態生成数削減及び高速化
著者安田 竜 上田 和紀 吉田 健人
論文PDFファイル