Checking Temporal Properties of Discrete, Timed and Continuous Behaviors (Q5452193)
From MaRDI portal
scientific article; zbMATH DE number 5252793
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Checking Temporal Properties of Discrete, Timed and Continuous Behaviors |
scientific article; zbMATH DE number 5252793 |
Statements
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors (English)
0 references
25 March 2008
0 references
