Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems (Q5194934)
From MaRDI portal
scientific article; zbMATH DE number 7105898
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems |
scientific article; zbMATH DE number 7105898 |
Statements
Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems (English)
0 references
17 September 2019
0 references
