Login
Dokumenttyp:
Sammelbandbeitrag / Paper in Collective Volume
Titel:
A Symbolic Approach to the Analysis of Multi-Formalism Markov Reward Models
Titel Sammlung:
Theory and Application of Multi-Formalism Modeling
Herausgeber Sammlung:
Gribaudo, Marco; Iacono, Mauro
Verlag:
IGI Global
Jahr:
2014
Seiten von - bis:
170-196
Sprache:
Englisch
Fakultät:
Fakultät für Informatik
Institut:
INF 3 - Institut für Technische Informatik
Professur:
Siegle, Markus
BibTeX