Towards Model Checking Stochastic Aspects of the thinkteam User Interface.

Maurice H. ter Beek Mieke Massink Diego Latella Towards Model Checking Stochastic Aspects of the thinkteam User Interface. 39-50 2005 conf/dsvis/2005 DSV-IS http://dx.doi.org/10.1007/11752707_4 db/conf/dsvis/dsvis2005.html#BeekML05