ARECES Carlos について
Universidad Nacional de Cordoba, ARG について
ARECES Carlos について
CONICET, ARG について
FERVARI Raul について
Universidad Nacional de Cordoba, ARG について
HOFFMANN Guillaume について
Universidad Nacional de Cordoba, ARG について
Lecture Notes in Computer Science について
ゲーム について
モデルチェッキング について