scientific article; zbMATH DE number 2080040
From MaRDI portal
Publication:4472227
zbMath1043.68576MaRDI QIDQ4472227
No author found.
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2280/22800052.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (13)
Model checking finite-horizon Markov chains with probabilistic inference ⋮ Synthesizing efficient systems in probabilistic environments ⋮ Performance analysis of probabilistic timed automata using digital clocks ⋮ On the use of MTBDDs for performability analysis and verification of stochastic systems. ⋮ Model-checking large structured Markov chains. ⋮ Computing branching distances with quantitative games ⋮ Unnamed Item ⋮ Analysing Biochemical Oscillation through Probabilistic Model Checking ⋮ On process rate semantics ⋮ Query-based verification of qualitative trends and oscillations in biochemical systems ⋮ Assisting the design of a groupware system - Model checking usability aspects of thinkteam ⋮ PRISM ⋮ Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
Uses Software
This page was built for publication:
