Logo
User: Guest  Login
Authors:
Lampka, Kai; Siegle, Markus 
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