Specification techniques for Markov reward models
| Publication | Article in Discrete Event Dynamic Systems, published July 1993 |
|---|---|
| Authors | Boudewijn R. Haverkort, Kishor S. Trivedi |
This is the public page for a publication record in Dimensions, a free research insights platform that brings together information about funding, scholarly outputs, policy, patents and grants.
Loading metrics…