Verification of linear duration properties over continuous-time markov chains (Q112268312)
Jump to navigation
Jump to search
scientific article published in November 2013
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verification of linear duration properties over continuous-time markov chains |
scientific article published in November 2013 |
Statements
Verification of linear duration properties over continuous-time markov chains (English)
0 references
November 2013
0 references
14
0 references
4
0 references
1-35
0 references