scientific article

zbMath1106.68057MaRDI QIDQ3416073

Sebastian Menge, Reiko Heckel, Georgios Lajios

Publication date: 19 January 2007

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

continuous time Markov chainscontinuous stochastic logic

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Distributed systems (68M14)

Related Items (4)

Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic ⋮ Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables ⋮ Probabilistic timed graph transformation systems ⋮ Moment Semantics for Reversible Rule-Based Systems

Uses Software

• PRISM

This page was built for publication: