Model checking graph transformations: A comparison of two approaches

Link a dokumentumra való hivatkozáshoz:

Cím és alcím: Model checking graph transformations: A comparison of two approaches
Szerző: Rensink A; Schmidt A; Varró, Dániel
Megjelenés ideje: 2004
Nyelv: en
Egyéb azonosítók: MTMT: 2612512; Scopus: 35048897606; Web of Science: 000224380100017
A cikket/könyvrészletet tartalmazó dokumentum címe: LECTURE NOTES IN COMPUTER SCIENCE
A forrás folyóirat évfolyama: 3256
ISSN, e-ISSN: 0302-9743; 1611-3349
Dokumentumtípus: folyóiratcikk
Műfaj: szakcikk