Reviewer: Kaivola, R., Equivalences, Preorders and Compositional Verification for Linear Time Temporal Logic and Concurrent Systems, Ph.D.

  • Antti Valmari (Examiner)

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

    Period1996
    Examination held at
    • University of Helsinki

    Country of activity

    • Finland

    Publication forum classification

    • No publication forum level