BENSALEM S について
IMAG-LGI, Grenoble について
BOUAJJANI A について
IMAG-LGI, Grenoble について
LOISEAUX C について
IMAG-LGI, Grenoble について
SIFAKIS J について
IMAG-LGI, Grenoble について
Lecture Notes in Computer Science について
プログラム検証 について
リアクティブシステム について
計算理論 について
保存 について
シミュレーション について