scientific article; zbMATH DE number 2090714
From MaRDI portal
Publication:4813209
zbMath1065.68584MaRDI QIDQ4813209
Sylvain Peyronnet, Richard Lassaigne
Publication date: 13 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2399/23990213.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Model Checking Probabilistic Systems ⋮ Probabilistic verification and approximation ⋮ Statistical probabilistic model checking with a focus on time-bounded properties
This page was built for publication:
