Graph Transformations
From MaRDI portal
Publication:5292597
DOI10.1007/b100934zbMath1116.68484OpenAlexW4214712303MaRDI QIDQ5292597
Reiko Heckel, Sebastian Menge, Georgios Lajios
Publication date: 21 June 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100934
Graph theory (including graph drawing) in computer science (68R10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)
Related Items (5)
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems ⋮ Stochastic Object-Based Graph Grammars
This page was built for publication: Graph Transformations
