Author: Lein Ton
Publication Overview
Publication period start: 1996
Number of co-authors: 1
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Abowd,
Gregory D.,
Ton,
Lein
(1996):
Automated Verification of Temporal Dialogue Properties.
In
ACM SIGCHI Bulletin,
28
(2)
pp. 50-52.
https://www.acm.org/sigchi/bulletin/1996.2/Greg-Abowd.html