BOZGA M について
VERIMAG, Gieres, FRA について
VERIMAG, Gieres, FRA について
MALER O について
VERIMAG, Gieres, FRA について
OLIVERO A について
Univ. Republica, Montevideo, URY について
TRIPAKIS S について
VERIMAG, Gieres, FRA について
YOVINE S について
VERIMAG, Gieres, FRA について
Lecture Notes in Computer Science について
プログラム検証 について
モデル検証 について
計算理論 について
計算機システム開発 について
実時間システム について
モデル検証 について
ツール について