Model checking activity diagrams

Roelf J. Wieringa (Speaker)

    Activity: Talk or presentationOral presentation

    Period9 May 2002
    Held atUniversitat de Valencia, Spain

    Keywords

    • METIS-210684