D. Reichart, A. Dittmar, P. Forbrig, and M. Wurdel. Interactive Systems: Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, (2008)
D. Reichart, A. Dittmar, P. Forbrig, and M. Wurdel. Interactive Systems: Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, (2008)
Anke Dittmar. Interactive Systems Design, Specification, and Verification, volume 1946 of Lecture Notes in Computer Science, chapter 10, Springer-Verlag, Berlin/Heidelberg, (May 11, 2001)
Anke Dittmar. Interactive Systems Design, Specification, and Verification, volume 1946 of Lecture Notes in Computer Science, chapter 10, Springer-Verlag, Berlin/Heidelberg, (May 11, 2001)
Daniel Reichart, Peter Forbrig, and Anke Dittmar. Proceedings of the 3rd annual conference on Task models and diagrams, page 51--58. New York, NY, USA, ACM, (2004)
Daniel Reichart, Peter Forbrig, and Anke Dittmar. Proceedings of the 3rd annual conference on Task models and diagrams, page 51--58. New York, NY, USA, ACM, (2004)
Anke Dittmar, and Ashraf Gaffar. Human-Computer Interaction. Interaction Design and Usability, volume 4550 of Lecture Notes in Computer Science, Springer-Verlag, Berlin/Heidelberg, (2007)
Anke Dittmar, and Ashraf Gaffar. Human-Computer Interaction. Interaction Design and Usability, volume 4550 of Lecture Notes in Computer Science, Springer-Verlag, Berlin/Heidelberg, (2007)