State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jannik Hüls, Carina Pilch, Patricia Schinke, Joanna Delicaris, Anne Remke. State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. In David Parker 0001, Verena Wolf, editors, Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings. Volume 11785 of Lecture Notes in Computer Science, pages 182-199, Springer, 2019. [doi]

This author has not been identified. Look up 'Jannik Hüls' in GoogleThis author has not been identified. Look up 'Carina Pilch' in GoogleThis author has not been identified. Look up 'Patricia Schinke' in GoogleThis author has not been identified. Look up 'Joanna Delicaris' in GoogleThis author has not been identified. Look up 'Anne Remke' in Google

runs on WebDSL