Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti. Reasoning about Interactive Systems with Stochastic Models. In Chris Johnson, editor, Interactive Systems: Design, Specification, and Verification, 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001, Revised Papers. Volume 2220 of Lecture Notes in Computer Science, pages 144-163, Springer, 2001. [doi]
Abstract is missing.