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]
@inproceedings{NdukwuS09,
title = {Reasoning about a Distributed Probabilistic System},
author = {Ukachukwu Ndukwu and Jeff W. Sanders},
year = {2009},
url = {http://crpit.com/abstracts/CRPITV94Ndukwu.html},
researchr = {https://researchr.org/publication/NdukwuS09},
cites = {0},
citedby = {0},
pages = {35-42},
booktitle = {Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009},
editor = {Rod Downey and Prabhu Manyem},
volume = {94},
series = {CRPIT},
publisher = {Australian Computer Society},
isbn = {978-1-920682-75-0},
}