@InProceedings{BML05b,
author={M. ter Beek and M. Massink and D. Latella},
title={Towards Model Checking Stochastic Aspects of the thinkteam User Interface},
booktitle={Proc. 12th International Workshop on Design, Specification and Verification of Interactive Systems (DSVIS'05)},
year={2005},

editor={},
pages={39-50},
organization={},
publisher={Springer},
series={LNCS},
volume={3941},
address={},
month={},
note={},
key={}
}