/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
jsai2013ホーム
/
安田 竜
*セッションの無断動画配信はご遠慮下さい。
Tweet #jsai2013
氏名
安田 竜
ふりがな
やすだ りょう
所属
早稲田大学基幹理工学部情報理工学科
発表リスト
06月04日(Tue) 18:40〜20:20 B会場(-国際会議場201号室)
題目
1B5-6 LMNtal 並列モデル検査における 状態生成数削減及び高速化
著者
安田 竜
上田 和紀
吉田 健人
論文
PDFファイル