Tampere University of Technology

TUTCRIS Research Portal

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

Activity: Examination › Pre-examination of dissertation or acting as opponent to doctoral students


Antti Valmari - Examiner

Examination at
  • Université de Liège

Country of activity

Publication forum classification

ID: 12258104