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

  • Antti Valmari (Puheenjohtaja)

    Aktiviteetti: Workshopin tai sessionin puheenjohtajana toimiminen

    Aikajakso2006
    Tapahtuman tyyppiConference

    Country of activity

    • Itävalta

    Publication forum classification

    • Ei tasoa