scientific article
From MaRDI portal
Publication:2722069
zbMath0966.68111MaRDI QIDQ2722069
Publication date: 11 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
A denotational semantics for low-level probabilistic programs with nondeterminism ⋮ Least upper bounds for probability measures and their applications to abstractions ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions ⋮ Quantitative static analysis of communication protocols using abstract Markov chains ⋮ On Probabilistic Techniques for Data Flow Analysis ⋮ Stochastic Modelling of Communication Protocols from Source Code
This page was built for publication: