|
Title
|
|
|
|
Specification and verification of graph-based model transformation properties
| |
|
Author
|
|
|
|
| |
|
Language
|
|
|
|
English
| |
|
Source (journal)
|
|
|
|
Lecture notes in computer science. - Berlin, 1973, currens
| |
|
Source (book)
|
|
|
|
Graph Transformation : 7th International Conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22-24, 2014: proceedings / Giese, Holger [edit.]
| |
|
Source (series)
|
|
|
|
Lecture notes in computer science ; 8571
| |
|
Publication
|
|
|
|
Cham
:
Springer
,
2014
| |
|
ISSN
|
|
|
|
0302-9743
[print]
1611-3349
[online]
| |
|
ISBN
|
|
|
|
978-3-319-09107-5
| |
|
DOI
|
|
|
|
10.1007/978-3-319-09108-2_8
| |
|
Volume/pages
|
|
|
|
p. 113-129
| |
|
Full text (Publisher's DOI)
|
|
|
|
| |
|