ストップウォッチオートマトンによるプリエンプティブスケジューリングの仕様記述と有界モデル検査 (理論計算機科学の深化 : 新たな計算世界観を求めて)

スポンサーリンク

概要

著者

関連論文

もっと見る

スポンサーリンク