14th Workshop on Model Checking Software - SPIN '07, Berlin, Germany, 1-3 July, 2007

  • Antti Valmari (Jäsen)

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

    Aikajakso2007
    Tapahtuman tyyppiConference

    Country of activity

    • Saksa

    Publication forum classification

    • Ei tasoa