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

Antti Valmari (Examiner)

    Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

    Aikajakso1998
    Tutkittava
    Tutkimuksen ajankohtaTampere University of Technology

    Country of activity

    • Suomi

    Publication forum classification

    • Ei tasoa