11th International SPIN Workshop on Model Checking of Software, Programme Committee, Spain

  • Antti Valmari (Member)

    Activity: Participating in or organising an eventMembership of an organizing committee of a conference or seminar

    Period2004
    Event typeConference

    Country of activity

    • Spain

    Publication forum classification

    • No publication forum level