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

Details

Antti Valmari - Examiner

1994
Examination at
  • Université de Liège

Country of activity

Publication forum classification

ID: 12258104

Associated persons

  • Antti Valmari - Examiner

Associated organisations

View graph of relations

Tampere University of Technology is at the leading edge of technology development and a sought-after collaboration partner among the scientific and business communities. The University produces competent graduates who enter careers in the different sectors of society.

Quick links

Follow us

subscribe to the TUT science newsletter Interface