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

  • Antti Valmari (Member)

    Activity: Participating in or organising an event › Membership of a scientific or program committee of a conference or seminar

    Period2007
    Event typeConference

    Country of activity

    • Germany

    Publication forum classification

    • No publication forum level