CITATION STYLE
Case studies in termination: Choice coordination, the dining philosophers, and the random walk. (2005). In Abstraction, Refinement and Proof for Probabilistic Systems (pp. 79–106). Springer-Verlag. https://doi.org/10.1007/0-387-27006-x_3
Mendeley helps you to discover research relevant for your work.