We are currently experiencing cases of mixed-up (and therefore incorrect) metadata for some newly indexed journal issues. We are aware of the problem and we are working on a fix. Thanks for understanding and we apologize for the inconvenience.
Holger Giese, Barbara König: Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings.Lecture Notes in Computer Science 8571, Springer2014, ISBN 978-3-319-09107-5
Invited Contribution
Giorgio Delzanno: Parameterized Verification and Model Checking for Distributed Broadcast Protocols.1-16