Maurice H. ter Beek, Mieke Massink, Diego Latella. Towards Model Checking Stochastic Aspects of the thinkteam User Interface. In Stephen W. Gilroy, Michael D. Harrison, editors, Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers. Volume 3941 of Lecture Notes in Computer Science, pages 39-50, Springer, 2005. [doi]
Abstract is missing.