scientific article; zbMATH DE number 2080040
From MaRDI portal
Publication:4472227
zbMATH Open1043.68576MaRDI QIDQ4472227FDOQ4472227
Authors:
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2280/22800052.htm
Title of this publication is not available (Why is that?)
Recommendations
Cited In (25)
- Title not available (Why is that?)
- Model checking finite-horizon Markov chains with probabilistic inference
- Theoretical Aspects of Computing - ICTAC 2004
- Symbolic model checking for probabilistic processes
- Model-checking large structured Markov chains.
- Analysing biochemical oscillation through probabilistic model checking
- Synthesizing efficient systems in probabilistic environments
- Title not available (Why is that?)
- SMT-based bisimulation minimisation of Markov models
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam
- Performance analysis of probabilistic timed automata using digital clocks
- Automated Technology for Verification and Analysis
- On process rate semantics
- PRISM
- Title not available (Why is that?)
- Probabilistic model checking on HPC systems for the performance analysis of mobile networks
- On the use of MTBDDs for performability analysis and verification of stochastic systems.
- Computing branching distances with quantitative games
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
- Verification, Model Checking, and Abstract Interpretation
- Verifying pCTL model checking
- Probabilistic model checking of the PDGF signaling pathway
- Formal Methods in Computer-Aided Design
- Title not available (Why is that?)
- Query-based verification of qualitative trends and oscillations in biochemical systems
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472227)
