Model Checking Graph Grammars

Rensink, A. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Amsterdam
    Period25 Apr 2003
    Event titleTalk Proof tools day
    Event typeConference
    LocationAmsterdam

    Keywords

    • METIS-215965