The following pages link to Graph Transformations (Q5292597):
Displaying 8 items.
- A framework for stochastic system modelling and analysis (work in progress) (Q2852054) (← links)
- Simulation of generalised semi-Markov processes based on graph transformation systems (Q2867890) (← links)
- Stochastic object-based graph grammars (Q2870329) (← links)
- (Q5020536) (← links)
- (Q5021219) (← links)
- Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic (Q6151620) (← links)
- Compositional analysis of probabilistic timed graph transformation systems (Q6611954) (← links)
- Stochastic graph transformation for social network modeling (Q6649535) (← links)