Validation of Stochastic Systems
From MaRDI portal
Publication:5325841
DOI10.1007/b98484zbMath1203.68117MaRDI 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
68P05: Data structures
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Related Items
Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications, Cycles and communicating classes in membrane systems and molecular dynamics, Enhancing probabilistic model checking with ontologies
Uses Software