Diego Latella

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
2005
Publication period end
2005
Number of co-authors
2

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Beek, Maurice H. Ter, Massink, Mieke, Latella, Diego (2005): Towards Model Checking Stochastic Aspects of the thinkteam User Interface. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 39-50. http://dx.doi.org/10.1007/11752707_4