シライ ヤスユキ
  白井 康之   経営学部 経営学科   准教授
■ 標題
  有限区間制約を付加したモデル生成型定理証明系とその応用
■ 概要
  有限区間制約を付加したモデル生成型定理証明系とその応用
  白井康之, Reiner Hähnle, 長谷川隆三
  共著   情報処理学会論文誌   43(12)   2002/12


Copyright(C) 2011 Daito Bunka University, All rights reserved.