Model checking graph transformations: A comparison of two approaches

Author	Rensink A
Author	Schmidt A
Author	Varró, Dániel
Date accessioned	2016-09-04T21:29:25Z
Date available	2016-09-04T21:29:25Z
Date of issue	2004
URI of identifier	http://hdl.handle.net/10890/2490
Language	en
Title	Model checking graph transformations: A comparison of two approaches
Document type	folyóiratcikk
Identifiers [mtmt]	2612512
Identifiers [scopus]	35048897606
Identifiers [wos]	000224380100017
ISSN, e-ISSN	0302-9743
ISSN, e-ISSN	1611-3349
Volume of container document	3256
Title of the container document	LECTURE NOTES IN COMPUTER SCIENCE
Document genre	szakcikk

BME PA dokumentumai [3590]
Lezárt gyűjtemény. Fájlok hozzáférési felülvizsgálata folyamatban. Jelenleg a dokumentumok kizárólag BME-s IP címekről érhetők el.