scientific article; zbMATH DE number 1884412
From MaRDI portal
Publication:4798032
zbMath1007.68514MaRDI QIDQ4798032
Holger Hermanns, Gabriel Infante-Lopez, Joost-Pieter Katoen
Publication date: 18 March 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2165/21650057.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (7)
A Tutorial on Interactive Markov Chains ⋮ Hypergraph-based parallel computation of passage time densities in large semi-Markov models ⋮ Model checking expected time and expected reward formulae with random time bounds ⋮ Statistical probabilistic model checking with a focus on time-bounded properties ⋮ Fixed-Delay Events in Generalized Semi-Markov Processes Revisited ⋮ Calculating Probabilities of Real-Time Test Cases ⋮ Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems
This page was built for publication: