TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Opponent/Committee member: Codefroid, P., Partial-Order Methods of the Verification of Concurrent Systems, An Approach to the State Explosion Problem

Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

Yksityiskohdat

Antti Valmari - Examiner

1994
Tutkimuspaikka
  • Université de Liège

Country of activity

Publication forum classification

ID: 12258104