What does theory say about the possibilities of improving efficiency

  • Antti Valmari (Speaker)

    Activity: Talk or presentation › Conference presentation

    Period2005
    Event titleUK Model Checking Days 2005, York on 27th September, 2005
    Event typeConference

    Country of activity

    • United Kingdom

    Publication forum classification

    • No publication forum level