Specification and Efficient Computation of Passage-Time Distributions in GPA - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matej Kohut, Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley. Specification and Efficient Computation of Passage-Time Distributions in GPA. In Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012. pages 199-200, IEEE Computer Society, 2012. [doi]

This author has not been identified. Look up 'Matej Kohut' in GoogleThis author has not been identified. Look up 'Anton Stefanek' in GoogleThis author has not been identified. Look up 'Richard A. Hayden' in GoogleThis author has not been identified. Look up 'Jeremy T. Bradley' in Google

runs on WebDSL