Compositionality for Markov Reward Chains with Fast Transitions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink. Compositionality for Markov Reward Chains with Fast Transitions. In Katinka Wolter, editor, Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings. Volume 4748 of Lecture Notes in Computer Science, pages 18-32, Springer, 2007. [doi]

This author has not been identified. Look up 'Jasen Markovski' in GoogleThis author has not been identified. Look up 'Ana Sokolova' in GoogleThis author has not been identified. Look up 'Nikola Trcka' in GoogleThis author has not been identified. Look up 'Erik P. de Vink' in Google

runs on WebDSL