Model checking UML activity diagrams

Roelf J. Wieringa (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Wadern, Germany
    Period11 Mar 2002
    Event titleDagstuhl workshop on concurrrency and dynamics in software models
    Event typeConference
    LocationWadern, Germany

    Keywords

    • METIS-210682