Towards Model Checking Graph Grammars

Rensink, A. (Speaker)

    Activity: Talk or presentationOral presentation

    Period1 May 2004
    Held atNewcastle University, United Kingdom

    Keywords

    • METIS-221155