Spin 2006. 13th International SPIN Workshop on Model Checking fo Software

  • Antti Valmari (Chair)

    Activity: Participating in or organising an event › Chair of workshop, panel, session or tutorial

    Period2006
    Event typeConference

    Country of activity

    • Austria

    Publication forum classification

    • No publication forum level