 |
|
|||
| Authors: | Kai Lampka |
| Group: | Computer Engineering |
| Type: | PhD Thesis |
| Title: | A symbolic approach to the state graph based analysis of high-level Markov reward models |
| Year: | 2007 |
| Month: | April |
| Pub-Key: | LampkaPhDThesis07 |
| Keywords: | Decision Diagrams, finite Markov Chains |
| School: | Univ. Erlangen-Nuremberg |
| Location: | Erlangen |
| Resources: | [BibTeX] |
