Model Checking Graph Grammars

Rensink, A. (Speaker)

    Activity: Talk or presentationOral presentation

    Period3 Apr 2003
    Held at3rd Workshop on Automated Verification of Critical Systems, AVoCS 2003
    Event typeWorkshop
    Conference number3
    LocationSouthhampton, United Kingdom
    Degree of RecognitionInternational

    Keywords

    • METIS-215964