Login
Document type:
Sammelbandbeitrag / Paper in Collective Volume
Title:
A Symbolic Approach to the Analysis of Multi-Formalism Markov Reward Models
Collection title:
Theory and Application of Multi-Formalism Modeling
Collection editors:
Gribaudo, Marco; Iacono, Mauro
Publisher:
IGI Global
Year:
2014
Pages from - to:
170-196
Language:
Englisch
Department:
Fakultät für Informatik
Institute:
INF 3 - Institut für Technische Informatik
Chair:
Siegle, Markus
BibTeX