Verification of linear duration properties over continuous-time markov chains (Q5892433)
From MaRDI portal
scientific article; zbMATH DE number 6718046
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verification of linear duration properties over continuous-time markov chains |
scientific article; zbMATH DE number 6718046 |
Statements
Verification of linear duration properties over continuous-time markov chains (English)
0 references
16 May 2017
0 references
continuous-time Markov chains
0 references
linear duration logic
0 references
verification
0 references