KAEHLER Detlef について
Christian-Albrechts-Universitaet Zu Kiel について
WILKE Thomas について
Christian-Albrechts-Universitaet Zu Kiel について
KUESTERS Ralf について
Universitaet Trier について
ACM Transactions on Computational Logic について
契約 について
署名 について
プロトコル について
特性決定 について