Tampere Verification Tool

  • Heikki Virtanen (Speaker)

    Aktiviteetti: Konferenssiesitelmä

    Aikajakso2004
    Tapahtuman otsikkoTools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Barcelona, Spain, March 29 - April 2, 2004
    Tapahtuman tyyppiConference

    Country of activity

    • Espanja

    Publication forum classification

    • Ei tasoa