TY  - BOOK
AU  - Giese,Holger
AU  - König,Barbara
ED  - SpringerLink (Online service)
TI  - Graph Transformation: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783319091082
AV  - QA76.9.M35  
U1  - 004.0151 23
PY  - 2014///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Computer Science
KW  - Software engineering
KW  - Data structures (Computer science)
KW  - Computer software
KW  - Logic design
KW  - Computational complexity
KW  - Discrete Mathematics in Computer Science
KW  - Software Engineering
KW  - Data Structures
KW  - Logics and Meanings of Programs
KW  - Algorithm Analysis and Problem Complexity
KW  - Mathematical Logic and Formal Languages
N1  - Verification -- Meta-Modelling and Model Transformations -- Rewriting and Applications in Biology -- Graph Languages and Graph Transformation -- Applications. Meta-Modelling and Model Transformations -- Rewriting and Applications in Biology -- Graph Languages and Graph Transformation -- Applications
N2  - This book constitutes the proceedings of the 7th International Conference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014. The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on verification, meta-modelling and model transformations, rewriting and applications in biology, graph languages and graph transformation, and applications
UR  - http://dx.doi.org/10.1007/978-3-319-09108-2
ER  -