Model Checking Interactive Markov Chains (Q3557065)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Model Checking Interactive Markov Chains |
scientific article; zbMATH DE number 5702230
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Model Checking Interactive Markov Chains |
scientific article; zbMATH DE number 5702230 |
Statements
Model Checking Interactive Markov Chains (English)
0 references
27 April 2010
0 references
0 references
0.9392451
0 references
0.9356921
0 references
0.9235152
0 references
0.9188503
0 references
0.9151021
0 references
