Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8571)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): ICGT: International Conference on Graph Transformation
Conference proceedings info: ICGT 2014.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (18 papers)
-
Front Matter
-
Invited Contribution
-
Verification
-
Rewriting and Applications in Biology
-
Back Matter
About this book
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.
Editors and Affiliations
-
Hasso Plattner Institut an der Universität Potsdam, Potsdam, Germany
Holger Giese
-
Fakultät für Ingenieurwissenschaften, Abteilung für Informatik und Angewandte Kognitionswissenscaft, Universität Duisburg-Essen, Duisburg, Germany
Barbara König
Bibliographic Information
Book Title: Graph Transformation
Book Subtitle: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
Editors: Holger Giese, Barbara König
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-09108-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2014
Softcover ISBN: 978-3-319-09107-5Published: 04 August 2014
eBook ISBN: 978-3-319-09108-2Published: 05 July 2014
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 285
Number of Illustrations: 110 b/w illustrations
Topics: Discrete Mathematics in Computer Science, Software Engineering, Data Structures, Logics and Meanings of Programs, Algorithm Analysis and Problem Complexity, Mathematical Logic and Formal Languages