|
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] |