JENSEN O H について
Aalborg Univ., Aalborg, DNK について
LANG J T について
Aalborg Univ., Aalborg, DNK について
JEPPESEN C について
Aalborg Univ., Aalborg, DNK について
LARSEN K G について
Aalborg Univ., Aalborg, DNK について
Lecture Notes in Computer Science について
プログラム理論 について
リアクティブシステム について
計算理論 について
様相論理 について
仕様記述 について
モデル構築 について