A symbolic approach to the state graph based analysis of high-level Markov reward models
Metadata only
Author
Date
2007Type
- Doctoral Thesis
ETH Bibliography
no
Altmetrics
Publication status
publishedPublisher
Der Technischen Fakultaet der Universitaet Erlangen-NuernbergOrganisational unit
03429 - Thiele, Lothar (emeritus) / Thiele, Lothar (emeritus)
Notes
Erlangen, Nürnberg, Univ., Diss., 2007.More
Show all metadata
ETH Bibliography
no
Altmetrics