Model checking graph transformations: A comparison of two approaches

Link to refer to this document:

Title: Model checking graph transformations: A comparison of two approaches
Author: Rensink A; Schmidt A; Varró, Dániel
Date of issue: 2004
Language: en
Identifiers: MTMT: 2612512; Scopus: 35048897606; Web of Science: 000224380100017
Title of the container document: LECTURE NOTES IN COMPUTER SCIENCE
Volume of container document: 3256
ISSN, e-ISSN: 0302-9743; 1611-3349
Document type: folyóiratcikk
Document genre: szakcikk