Model checking in Moebius

Katoen, J. P. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Lochem, the Netherlands
    Period1 Oct 2004
    Event titleMoebius Working Group meeting
    Event typeConference
    LocationLochem, the Netherlands

    Keywords

    • METIS-220841