Monitoring Temporal Properties of Stochastic Systems (Q5452724)
From MaRDI portal
scientific article; zbMATH DE number 5259572
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Monitoring Temporal Properties of Stochastic Systems |
scientific article; zbMATH DE number 5259572 |
Statements
Monitoring Temporal Properties of Stochastic Systems (English)
0 references
4 April 2008
0 references
