scientific article; zbMATH DE number 2090703
From MaRDI portal
Publication:4813198
zbMath1065.68582MaRDI QIDQ4813198
Henrik Ejersbo Jensen, Bertrand Jeannet, Kim Guldstrand Larsen, Pedro R. D'Argenio
Publication date: 13 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2399/23990057.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 (11)
Least upper bounds for probability measures and their applications to abstractions ⋮ Model Checking Linear-Time Properties of Probabilistic Systems ⋮ On Abstraction of Probabilistic Systems ⋮ Unnamed Item ⋮ Probabilistic CEGAR ⋮ A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time ⋮ Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation ⋮ Confluence reduction for Markov automata ⋮ CEGAR for compositional analysis of qualitative properties in Markov decision processes ⋮ Unnamed Item ⋮ Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
Uses Software
This page was built for publication:
