Validation of Stochastic Systems
From MaRDI portal
Publication:5325841
DOI10.1007/b98484zbMath1203.68117OpenAlexW657718082MaRDI QIDQ5325841
No author found.
Publication date: 24 July 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98484
Data structures (68P05) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (3)
Cycles and communicating classes in membrane systems and molecular dynamics ⋮ Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications ⋮ Enhancing probabilistic model checking with ontologies
Uses Software
This page was built for publication: Validation of Stochastic Systems