Model checking activity diagrams

  • Roelf J. Wieringa (Speaker)

    Activity: Talk or presentation › Oral presentation

    Period9 May 2002
    Held atUniversitat de Valencia, Spain

    Keywords

    • METIS-210684