State Space Abstraction Using Shape Graphs

Rensink, A. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Barcelona
    Period1 Apr 2004
    Event titleautomated verification of infinite systems
    Event typeConference
    LocationBarcelona

    Keywords

    • METIS-221150