|
[BML05a]
M. ter Beek, M. Massink, and D. Latella.
Towards Model Checking Stochastic Aspects of the thinkteam User Interface - FULL VERSION.
Technical report 2005-TR-18, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche.
2005.
[bib]
http://fmt.isti.cnr.it/WEBPAPER/TRdsvis.pdf
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://fmt.isti.cnr.it/WEBPAPER/TRdsvis.pdf
|