Model Checking Graph Grammars

    Activity: Talk or presentation › Oral presentation

    Period3 Apr 2003
    Event title3rd Workshop on Automated Verification of Critical Systems, AVoCS 2003
    Event typeWorkshop
    Conference number3
    LocationSouthhampton, United KingdomShow on map
    Degree of RecognitionInternational

    Keywords

    • METIS-215964