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

Antti Valmari (Examiner)

    Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students

    Period1994
    Examinee
    Examination held atUniversité de Liège

    Country of activity

    • Belgium

    Publication forum classification

    • No publication forum level