Cover of Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation by Boris Flotterer

Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation

Boris Flotterer
Cover of Compositional Analysis of Probabilistic Timed Graph Transformation Systems by Maria Maximova

Compositional Analysis of Probabilistic Timed Graph Transformation Systems

Maria Maximova
Cover of Interval Probabilistic Timed Graph Transformation Systems by Maria Maximova

Interval Probabilistic Timed Graph Transformation Systems

Maria Maximova
Cover of Probabilistic metric temporal graph logic by Sven Schneider

Probabilistic metric temporal graph logic

Sven Schneider
Cover of Metric Temporal Graph Logic over Typed Attributed Graphs by Holger Giese

Metric Temporal Graph Logic over Typed Attributed Graphs

Holger Giese
Cover of Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction by Sven Schneider

Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction

Sven Schneider
Cover of Working Papers: 1. The Rise of China - 2. Is Protectionism Still Alive in a Globalized World? - 3. US Under Bush II - Empire Or Hegemon? by Sven Schneider

Working Papers: 1. The Rise of China - 2. Is Protectionism Still Alive in a Globalized World? - 3. US Under Bush II - Empire Or Hegemon?

Sven Schneider
Cover of Dog Food Cookbook by Sven Schneider

Dog Food Cookbook

Sven Schneider
Cover of Symbolic model generation for graph properties by Schneider, Sven

Symbolic model generation for graph properties

Schneider, Sven