8. DSV-IS 2001: Glasgow, Scotland, UK

Chris Johnson (Ed.): Interactive Systems: Design, Specification, and Verification, 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001, Revised Papers. Lecture Notes in Computer Science 2220 Springer 2001, ISBN 3-540-42807-0 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Mobile Interface Design

Supervision and Control Systems

Temporal and Stochastic Issues

New Perspectives