拡張プッシュダウンシステムの正則木評価によるLTLモデル検査法

スポンサーリンク

概要

• 論文の詳細を見る
• 2005-07-26

著者

• 新田 直也

  Nara Institute of Science and Technology

• 関 浩之

  Nara Institute of Science and Technology

関連論文

• 拡張プッシュダウンシステムの正則木評価によるLTLモデル検査法
• 拡張プッシュダウンシステムの正則木評価によるLTLモデル検査法(続・システム検証の科学技術,サイバー増大号)

スポンサーリンク