TITLE     : An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam
AUTHOR(S) : Ter Beek Mh, Gnesi S, Latella D, Massink M, Sebastianis M, Trentanni G
TYPE      : Contribution to book
YEAR      : 2013
CODE      : 207628

*** DO NOT EDIT THIS FILE ***