GOELLER Stefan について
Univ. Bremen, DEU について
HAASE Christoph について
Oxford Univ. Computing Lab., GBR について
OUAKNINE Joeel について
Oxford Univ. Computing Lab., GBR について
WORRELL James について
Oxford Univ. Computing Lab., GBR について
Lecture Notes in Computer Science について
カウンタ について
オートマトン について
モデル検査 について