Author: P. Jeremaes
Publications
Publication period start: 1990
Publications
Jeremaes, P. (1990): Formal Analysis of Co-Operative Problem Solving Dialogues: Tools and Techniques. In: Diaper, Dan, Gilmore, David J., Cockton, Gilbert, Shackel, Brian (eds.) INTERACT 90 - 3rd IFIP International Conference on Human-Computer Interaction August 27-31, 1990, Cambridge, UK. pp. 155-161.
Jeremaes, P. (1987): Specifying the Interface Logic. In: Bullinger, Hans-Jorg, Shackel, Brian (eds.) INTERACT 87 - 2nd IFIP International Conference on Human-Computer Interaction September 1-4, 1987, Stuttgart, Germany. pp. 423-428.