Probabilistic Graph Transformation Systems
From MaRDI portal
Publication:2918991
DOI10.1007/978-3-642-33654-6_21zbMath1367.68142OpenAlexW184306787MaRDI QIDQ2918991
Christian Krause, Holger Giese
Publication date: 2 October 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-33654-6_21
Grammars and rewriting systems (68Q42) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (7)
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic ⋮ Unnamed Item ⋮ Strategic port graph rewriting: an interactive modelling framework ⋮ Probabilistic timed graph transformation systems ⋮ A tale of two graph models: a case study in wireless sensor networks ⋮ Constructing optimized constraint-preserving application conditions for model transformation rules ⋮ Interval probabilistic timed graph transformation systems
Uses Software
This page was built for publication: Probabilistic Graph Transformation Systems
