A Linear Process-Algebraic Format for Probabilistic Systems with Data - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer. A Linear Process-Algebraic Format for Probabilistic Systems with Data. In Luís Gomes, Victor Khomenko, João M. Fernandes, editors, 10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010. pages 213-222, IEEE Computer Society, 2010. [doi]

This author has not been identified. It may be one of the following persons:

Joost-Pieter Katoen

Look up 'Joost-Pieter Katoen' in GoogleThis author has not been identified. Look up 'Jaco van de Pol' in GoogleThis author has not been identified. Look up 'Mariëlle Stoelinga' in GoogleThis author has not been identified. Look up 'Mark Timmer' in Google

runs on WebDSL