Tampere Verification Tool

  • Heikki Virtanen (Speaker)

    Activity: Talk or presentationConference presentation

    Period2004
    Event titleTools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Barcelona, Spain, March 29 - April 2, 2004
    Event typeConference

    Country of activity

    • Spain

    Publication forum classification

    • No publication forum level