Reasoning about a Distributed Probabilistic System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ukachukwu Ndukwu, Jeff W. Sanders. Reasoning about a Distributed Probabilistic System. In Rod Downey, Prabhu Manyem, editors, Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009. Volume 94 of CRPIT, pages 35-42, Australian Computer Society, 2009. [doi]

This author has not been identified. Look up 'Ukachukwu Ndukwu' in GoogleThis author has not been identified. Look up 'Jeff W. Sanders' in Google

runs on WebDSL