Supervisor: Kokkarinen, I., A Verification-Oriented Theory of Data in Labelled Transition Systems

Antti Valmari (Examiner)

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

    Period1998
    Examinee
    Examination held atTampere University of Technology

    Country of activity

    • Finland

    Publication forum classification

    • No publication forum level