Author: Maurice H. Ter Beek
Publication Overview
Publication period start: 2005
Number of co-authors: 5
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Beek,
Maurice H. Ter,
Ellis,
Clarence,
Kleijn,
Jetty,
Rozenberg,
Grzegorz
(2003):
Synchronizations in Team Automata for Groupware Systems.
In
Computer Supported Cooperative Work,
12
(1)
pp. 21-69.
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.
https://dx.doi.org/10.1007/11752707_4