AT&T Bell Lab., USA について
COURCOUBETIS C について
Univ. Crete, GRC について
HENZINGER T A について
Cornell Univ., USA について
Cornell Univ., USA について
Lecture Notes in Computer Science について
システム記述言語 について
計算理論 について
応用プログラミング言語 について
システム設計・解析 について
オートマタ について
ハイブリッドシステム について
記述 について
検証 について